| Key | Value |
|---|---|
| FileSize | 16068892 |
| MD5 | 34521F948A0BB021441285D55C3FCCE7 |
| PackageDescription | development libraries and tools for Coq Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides and libraries needed to develop OCaml-side extensions to Coq. |
| PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | libcoq-ocaml-dev |
| PackageSection | ocaml |
| PackageVersion | 8.11.0-1 |
| SHA-1 | 423E74FDD02A00DE7537921AD99EFB9120AE5A94 |
| SHA-256 | A5FD48355AB203A9131C73EF9C490A94F8DFFB5FE452E8267D7678441DBBF1B8 |
| hashlookup:children-total | 1059 |
| hashlookup:trust | 50 |
The searched file hash includes 1059 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/ltac/tacsubst.cmx |
| FileSize | 6911 |
| MD5 | 02D6B2A142B855CC8B40832D1E7F69E2 |
| SHA-1 | 001F7B1EA0E6C48CDC9B029CB1AC0230975FC146 |
| SHA-256 | FE509CAEA537A2632307C9A36DD1E2BE4D831579B5B7340AA90CD47F0E5DF6A6 |
| SSDEEP | 192:5SJmij3EYzJeA7ZwtMhdinYF8zjzVlXcUHbH:5M0YteA1XTinTzfseH |
| TLSH | T100E182B552D633AA34FB49FE964E8BCA45348D924F3EC43549EDAE8F3D5153502C3A04 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/stm/stm.cmi |
| FileSize | 15149 |
| MD5 | 29E4447A25EEF132F4BA920D07B90A5C |
| SHA-1 | 00C276ED454E8A7FA6AF461A420C28D17196DDF6 |
| SHA-256 | A2F120B03222F069379D4AA0D6C965F027F5D6EA70945907A3B057CB81E9CF07 |
| SSDEEP | 384:I6wchtcW/3d4+c52OCy/aHzonBggpwHD0KBfeeS7Vep3:GOS+3y3CyiToxoDHB2eS7Vep3 |
| TLSH | T18E62C3AE77039B99EC9C65ACC6BD426723500BBED2E2CC37D04C0BF2515485D979BA0B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/syntax/string_notation_plugin.cmi |
| FileSize | 4646 |
| MD5 | 27E4CAADBC83E24DF09AD6DCC2722CFC |
| SHA-1 | 00D89080C6EA8816DACF5EAEA60423A20EC743AB |
| SHA-256 | BF9CC7BB5643240E225E61DB2A28CAF6E56CD12C7614AAAA44B2E0DEA1E4AB03 |
| SSDEEP | 96:EHKbEts7FRNWirApqM5P8rkDwPxSZpMrsRTCZhstMIHxN8g8mTo:EiOs78iriaewPaa2tMmdG |
| TLSH | T176A12BE9B7822972FCB642A7A8DA01155270011787B2DC3A86DA13851275CAED1DBD03 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/printing/ppconstr.cmx |
| FileSize | 10838 |
| MD5 | 17A8E5B8A0976C0D1899B2D3EAC63FA3 |
| SHA-1 | 0135C762DBD98DA239F745A5081DF9EAAC46C245 |
| SHA-256 | EB4D56DFAB8522C721F8C70A4DC5CE676721DFD7BD5F9EBA1F856ABE44A487D8 |
| SSDEEP | 192:2eirTJeNeJEa2tMtF/BcN7uXrgB1H5XDO2MQ6z9brnLawgekFNPq0:6eYJnVHJOyrk1JB49brnLFgekrq0 |
| TLSH | T119228169A6C22813D895D1F7C497E010C62ECE923E84F8B575AF137E19D4E8172BFB06 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/parsing/tok.cmi |
| FileSize | 3245 |
| MD5 | AB5B583E35F2913AE8E8CD86A43D2F3A |
| SHA-1 | 01692F2CBACF15F40609158432D46D7B20400153 |
| SHA-256 | 4D449A28EB9CA12CC0CDC3E95F673178A0044D74C22BD675FCB83E3F466BFC1E |
| SSDEEP | 48:BFhzccB40Xakca5N0EQCh2bLgEOCTqh8Kr7g9JAsudOYjkcgjGinaKRiQDjaJAQv:NcSRq1aX0MAsz6nI7g9JQGGEipACn |
| TLSH | T1C86131EF83D52693DC586E3FC2C0024B61500B3ED6F79D3FA59D0AE261A122DD76A187 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/tactics/pfedit.cmi |
| FileSize | 5469 |
| MD5 | ABFACADC15598E67DA55A9245903B85C |
| SHA-1 | 01AB04915874F3D04E3F80F919A78CE893856013 |
| SHA-256 | 3FF4C31420082E84905E53BC53A29F99528AB2E16805D8ED753CC534D8B8BCB2 |
| SSDEEP | 96:xTt16rEf4gH8csEXYKtrlCI6zI7XpBWirANM5PqDTxfzZhstMmg8mD:xTtym7ccs4jJHSomirTcTb2tMxp |
| TLSH | T165B1C7EC77403AA1FD9462AEEA5842670330037EC7F5DC3B514917F142A245E67EB68B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/clib/terminal.cmx |
| FileSize | 1498 |
| MD5 | A15E7A5E79DAC5E3415E321AA9D4F5B5 |
| SHA-1 | 01C9C5BF40155D5E5A1EAFE3A8432EE9E1729137 |
| SHA-256 | A77A98E313649A22FA6DC39E498D477D8331E9549AA3550245A1C2B2BF17B5CF |
| SSDEEP | 24:7fry0l22UjTa2RTAXwOqpTwJVBEFpRdYIIHWKij8A2lJ:Py0fO2WTAXwrpTwBEFpR3dKij72lJ |
| TLSH | T185315A219F3AB762F142D33BE952273D8A148A767C20E0765DB9CA0663D2AC0F4C3242 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/micromega/micromega.cmx |
| FileSize | 15981 |
| MD5 | 912E4A4727F2C6C430C2A183C46FE785 |
| SHA-1 | 0233C6521BA5D21E7FF3BB9E8AFCC9EA11185DA7 |
| SHA-256 | 54973F477D8F335795F04E89FACC64ACCD370EC4D3828BD06834302E44CBF073 |
| SSDEEP | 192:xo8ZlolFbClvgOtiDqBGc76GxyMPsAU8+i0Y88VXdmBH0J6mtn4ma:jZlAGiDqBGc7WAL10Y88VN+0J604ma |
| TLSH | T135729DDD528FFC41E4A035ADC95CAEB28D2AD7D70FA2CFE544E94B027E44AE20587306 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/toplevel/usage.cmx |
| FileSize | 572 |
| MD5 | EDA6ACD820791D1D4555B275BD7A0A77 |
| SHA-1 | 028B477C389B21A4EF65EF72D404B3D08AAC232C |
| SHA-256 | 7E828D3B5012D118F42C2CA5DB9FA6D052CCFBB61BE977B1752F3E845584FDF9 |
| SSDEEP | 12:hgnr+u07X6TA+rXfPmX1aLDsxXfMzl8QypUys9iKE:hgnqlAAKQaLINMzHJ/E |
| TLSH | T163F02628375FAC5D31155B93B06474AACF3157835960707FD66B4BCA4ED0D1838C020F |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/setoid_ring/g_newring.cmx |
| FileSize | 6367 |
| MD5 | D4EBF680633DAB4D66724048235FE8D0 |
| SHA-1 | 0338F7E67253366AFDC0CD4C45840AFE73DAB16B |
| SHA-256 | DAECC4454A26A197029229623BF4CB64F8BE2A4A57879C0095F3CE1617978D90 |
| SSDEEP | 96:KCEtsUFIRWwApqMqEYoDerkDNfRHSSuEMrgRiCZhW7t4PIHyig7Bg8WFBjt9I65f:KCOsUpwDEYoAeNJifac7tCtd2DjBD |
| TLSH | T1ACD12AD476C135323DE6C1F3E99E81A19EB8024787B3D43D925E528A0B65DB6B0D3E01 |