| Key | Value |
|---|---|
| FileSize | 14425920 |
| MD5 | 655DD325659A9E64CE816D67D7AB7C14 |
| 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.9.1-2+b1 |
| SHA-1 | 9EAB77F1BF743213F097FC90B6A85B99A97494ED |
| SHA-256 | 62FC60CDA74B1DB826F86FA111530D4B6DFD2E4661E98BF52F41B1A9670CBF5C |
| hashlookup:children-total | 941 |
| hashlookup:trust | 50 |
The searched file hash includes 941 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/printing/prettyp.cmx |
| FileSize | 12677 |
| MD5 | 7E38FB8512874A9794729B9EF90ED71A |
| SHA-1 | 003394C9A48488F91D8F5C37B8A1D4DFC9ACF4DC |
| SHA-256 | 8B52D3624DA8D97EDA5D66C5737F4E780E58FCCE342F3163A3FCE2BA8C35EA5C |
| SSDEEP | 192:A6mqrYEDdqjT3ZUEDf464+5Pux22tqsQuwVCp3zMpQ9lDmd:Pc6cT3Z3f46r5PN2jQuwVCp3GQDQ |
| TLSH | T13A4252666309306234758AFBE4935028C793AC974EE1ABF3727F27066363B977153A07 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/kernel/declareops.cmx |
| FileSize | 5880 |
| MD5 | EF633AD4DEFAAFE6367BE5DA2416219C |
| SHA-1 | 00D8CEB2C74376E742242AEBD196467DE3B082D9 |
| SHA-256 | B4CD4944E33376B79369CD209DA53942A4668177EFB30001B75790A913E09195 |
| SSDEEP | 96:+HlWivAREgY2HPrUflZQRdcLCzL/YehladRoCKZ8IZCEUbZVWGZ3ZIm8Pq:PivDTsRdyCzL1lWfhDoG5 |
| TLSH | T15CC13EF9F394B2F6389945BFF5802055AA24CCBD6E13C4F2B18C874F59E4A916A4320E |
| 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/lib/loc.cmx |
| FileSize | 1231 |
| MD5 | 1A6D3AC445440F937A12374E7C31C67A |
| SHA-1 | 0139EEA40CA6FA324C0A1826F96AEA1227D79978 |
| SHA-256 | 7B4685EADB04905A8AAF33B70AC1E7324DC1495DE11907A91B891BAC9C4934B7 |
| SSDEEP | 24:7P1AWAoey/6hv79EPgeiCQxEhCX3CWOjCSyc9KG8froo7B:r1ADySqpycD8fB |
| TLSH | T19121CA40A5A6EE53A801F67EE8B29150CA50F35CBF01C97698740FDA76C18A5BA272CC |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/tactics/tacticals.cmx |
| FileSize | 16299 |
| MD5 | FCE36D97026888E62BF799E952DDAB56 |
| SHA-1 | 016C190AF65AB27D2CD9E38B5FB931761DBC492A |
| SHA-256 | 22A27DA702E63AB5AAEA8DDCB906115D9C7CFCC3E217DAD0ED1D70880CB4EC50 |
| SSDEEP | 192:/mi/TG340md2dqYH4GDJfb8acoZS/k9ArX38n+CYbSgCqhPHTG4EVPRH/kG3:fC5mdjYHPb8vVrX30+CECqhPHTGvz8G |
| TLSH | T12772B53A6B12717B7487EDB19C5294878910D8B66F5CAC31CC26CF479A92FC2E29344F |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/vernac/locality.cmx |
| FileSize | 2301 |
| MD5 | A596A70CDB423778C3F9C02ECF2A475B |
| SHA-1 | 0191BBCF84B6925248F035702E3CADB17EB40537 |
| SHA-256 | 443E4191ED19C5C77CDC341DA3F2B07756DD1C3A5132550BF97F9E6F7C8A9533 |
| SSDEEP | 48:ZkmRKRiQDji/SF0ARN62zhUH76S1IoETRShO079Vd0Pprk:ZkmWivARNPzhUjIoYShBKlk |
| TLSH | T19B41969723833487363A02B33D971095E63041DBBE14D3B422ED43A5D9A8E9C9BC7241 |
| 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/kernel/nativelambda.cmx |
| FileSize | 7031 |
| MD5 | 2ECC50842E8FC11E8EA8E4BD3593B496 |
| SHA-1 | 02030B27CEC9C322829154886BFA900587249F5C |
| SHA-256 | 125C5F12C53C3CB75E2016544914F4E6B59C0B68C0246EFB32B72ED441303D14 |
| SSDEEP | 96:RH2WiDAREdPKHPIUfqrXhzsRP8/qTXYoNw8JxZH20feWmJnuwFPf7T:ZiDBCYxgRuobJfH20feWmJnuwFPzT |
| TLSH | T1D2E1846EEB02B7DAB150D2F6657E40B59A21D5B0CD94CCFAC2FB075B9E5470842E3207 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/micromega/micromega.cmx |
| FileSize | 12182 |
| MD5 | C85129CA6F40EF31EFA90EFDAEB34188 |
| SHA-1 | 0214332346B40C8E3E6F3AE80C7BFDD48CAE46F1 |
| SHA-256 | 19CA398B2BCABE95B6958F98CADC6EB1B0C116F252A12C379B6621BE9047FB71 |
| SSDEEP | 96:3AIwFJRVWmR2ndZryIu+7y9QEGpq47C1odG+XV+EvKxBBbTkAncR0MSyOQ+ENOfV:3BqR2dMIu99ztA/TvKx/oR0bylOIGwG1 |
| TLSH | T173427ADD528FFC41E4B0356DC95CAEB28D2AD7D70FA2CFE184E94B026E44AE20597306 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/proofs/clenv.cmx |
| FileSize | 9880 |
| MD5 | 1CB8FC510FB4C203DC5C878DA7488798 |
| SHA-1 | 024137CFF6EACAC2F515234376D498C19DCEF96B |
| SHA-256 | C730025B5614106CDF98AE134623E33522DEB7920C0BCD3967592018825BF503 |
| SSDEEP | 96:scbSIWiWAGtKp1WH4pnQUhd3kDStUPLqB8XynVdXrtsD5INGvPtXN1FOF33597Fb:wiWDqjpfEJDqB8XKmlVN6pNc5BY |
| TLSH | T1E312B876AB0A38D3EAF790BDC869512C8D20D06D4E91CFB7A16D071758D0FD1678BB06 |