| Key | Value |
|---|---|
| FileSize | 16070112 |
| MD5 | 25592A3397FAD83B89F9D85D7C04C916 |
| 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 | CED2A8CD92F998FA0D876C072311B525B7925686 |
| SHA-256 | F362DDDF1BE4E5E4ED471A350D1E3050B21DC25DC3F1CAEC46490764DC7FE72F |
| 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/kernel/primred.cmx |
| FileSize | 2644 |
| MD5 | 924F382997A7FF5D8A4E4EDC9AE51A4B |
| SHA-1 | 006A0FA2AA351092F8D89C133BDD4D552B10CE5F |
| SHA-256 | 811A0DD43D03C637DC5517AB06F5814F8C95C48E844D2A496AC19566E1C84E13 |
| SSDEEP | 48:pcoQ+RKRi1wDji/N0ARGMF9DTHkRqyZ/JKx7g8sHKgun0UVziKe8:BQ+WiMARz9DTkBZheg8mHx8 |
| TLSH | T18A5194E1BBB27457B4B5A473E599C012093044028F4A9CF63A9FA64A4A7071F74F3E02 |
| 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/ssr/ssrtacticals.cmx |
| FileSize | 7591 |
| MD5 | 99FC54BE45F3B6D02195A21ECB149457 |
| SHA-1 | 00D72922B4DB107A9E51394D29ECB30E2B98658C |
| SHA-256 | B5BBDB90DC75D75EFEB2B1506A6AD39DA0CA5CAFFA27F1E6AFFDB4BCC2B36108 |
| SSDEEP | 192:bOsUGwTEYoAeNbimac7tCtd2Du2rjju2wEn:bDYoAepIttcDxrj6an |
| TLSH | T193F108B1F7C5303BB8F2D7B3DC4A849245F952864B11C478D22E664A6A2CBE394D7209 |
| 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/pretyping/locusops.cmx |
| FileSize | 2085 |
| MD5 | CE84E5F7A9B5A2C7352911751D7930E0 |
| SHA-1 | 00E8DB5EFF82F99220D097AE46E0737E8F9CBEC2 |
| SHA-256 | 761801B33FCBD14C37EFC786BEB5342E73361878C54183D354F26B5571295907 |
| SSDEEP | 48:7gRKRiQDjC0AkDdkSTKg4B8nqmdiIw7z4iw1Ybz/zk3zwhlzgWkk6S91u17MlEP5:0Wi+AkDL3qaiLwmK3G9cfxhV |
| TLSH | T1D9412C706A9634E6ADD5B336FCDA40279EB4810E7E1186B324CB424E7CE0B2EA0D3641 |
| 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/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/vernac/comDefinition.cmx |
| FileSize | 5075 |
| MD5 | A1554B1A26E98DE80D2CDF65233DF24E |
| SHA-1 | 01B423D0AB6F5254E0FF1608E8FF020F41045336 |
| SHA-256 | 4C35C93E92DF91AAA640C1DF250D533EDA4A3AA062EB24EDC2A0A49F21A76460 |
| SSDEEP | 96:LMl7FRNWijANM5DjCKIP8rkDtYxwpMrlRTCZhstMIHT/vug8WFQ2GU5yZpm:e78ijDD2KIaeq9a2tM8/RCrU5opm |
| TLSH | T17EA11AD8BBC33863B4E7C2B3E99B4001A27005479B97D93C138A538A416AD9BE5F7F05 |
| 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 |