| Key | Value |
|---|---|
| FileSize | 16437436 |
| MD5 | 88BA6E80946C844DD65B07189E90FD46 |
| 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 | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | libcoq-ocaml-dev |
| PackageSection | ocaml |
| PackageVersion | 8.11.0-1+b1 |
| SHA-1 | 867969427FD6DB8F611DA364B06071DB67645B8B |
| SHA-256 | CABA9D2F172DBFDC25F3C816F83D601D3970C95D103DF4F784CD5F89B18B6BE6 |
| hashlookup:children-total | 1062 |
| hashlookup:trust | 50 |
The searched file hash includes 1062 children files known and seen by metalookup. A sample is included below:
| 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/share/doc/libcoq-ocaml/NEWS.Debian.gz |
| FileSize | 269 |
| MD5 | 0ECA063A774B94A35B2709F6E8E4D6AD |
| RDS:package_id | 182052 |
| SHA-1 | 01024660E771DD5236B4AB77DFE0050CD2399988 |
| SHA-256 | B1659BBB950B950046B4C9660BD1BA77AECC2AC75CE8D9172942608DD8A845CE |
| SSDEEP | 6:Xtq1MrzCx26YMHSG51tXgMIdrMzczJzVkVpXV77AFBS4jMNl:X81SN6RSGvttI9Mz2WV5V7Mi13 |
| TLSH | T165D09535760099B79E5DD0F1357CCC4EC512C2098C20F1B1A0A5E013D0E6764D4DF904 |
| insert-timestamp | 1679425887.2617948 |
| source | RDS.db |
| 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/pretyping/cases.cmx |
| FileSize | 14764 |
| MD5 | 0EBB2B056DE7F07B64A46E9245436A1B |
| SHA-1 | 017C0FFF520330D5FD2630A6E08CB179DDFBD56D |
| SHA-256 | 2640F326E250A3576E789BAE932745A01E2E074FB49A30FB75D3E2E467E43A06 |
| SSDEEP | 384:/D2PhN1Vgekzmch9PosCBjm1ICQe07HaMXsW6Hrn6:/OhLVgnKcvPosCBjm1nj07HaMqrn6 |
| TLSH | T1BF627136AB4EF8D25B92F0FD985955208F21D4573FC1FCBE51A8C70B5875B9242DB202 |
| 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/ide/ide.a |
| FileSize | 2381026 |
| MD5 | 5220792A8C622D17E15A4FB3F0811938 |
| SHA-1 | 01CCBE40F1C6E7F3EDF0F93442A6B2D35F1ACD2C |
| SHA-256 | F0515D7C7FFF34FA98B467E99699F27DF55A167DE2FE333293428A84FB757E61 |
| SSDEEP | 24576:Nqb7PMprbthRpIO6YHpKSlGbUSYaA0Ii5UNlJvcIi5UNlJvKasp/XVM+cd:iMprFpIO6YHPlGblYAamXVM+c |
| TLSH | T1F5B5C7BE9F9EBDEEC2C64D398EA6076C7F35C1063842835B4639301D2AC33C68D69655 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/setoid_ring/g_newring.cmx |
| FileSize | 6367 |
| MD5 | E660DCA7436582A4000C1C9373F24A97 |
| SHA-1 | 01F7280F645C653ADA3433F6937D5C2024620E8C |
| SHA-256 | 225C6123E05A412B46DE78FE83937733DA16B9CBE72B679AFF3EF3C7B1EBD146 |
| SSDEEP | 96:KCEtsUFIRWwApqMqEYoDerkDNfRHSSuEMrgRiCZhW7t4PIHyig7Bg8WFBj1108ic:KCOsUpwDEYoAeNJifac7tCtd2Dx1sU |
| TLSH | T1C2D13AE476C134323CE6C1F3E99E81A5AEB81247C7B2D47DD25E42860B65DB6E0D7E01 |
| 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 |