| Key | Value |
|---|---|
| FileSize | 14426204 |
| MD5 | C6CF2205E1B9A1DED6BC5DD981E51A86 |
| 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+b2 |
| SHA-1 | 2C25801A612776E192181EF842366D35FA3B0BB4 |
| SHA-256 | E01E0A432BE5F87C30A921A147DA7A1A3A3B00631BB60ACADE3666AF03EDC99B |
| 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/kernel/names.cmx |
| FileSize | 23339 |
| MD5 | 5A77D67BCCC5E53AF2EBCBB2E83F17AA |
| SHA-1 | 0027F92015F9CECDD94642CF38C5A13D9622C73D |
| SHA-256 | 054A8ADDF0594D66413E4B1098A17C8BF9922E440F2BF420C096166E13F911B5 |
| SSDEEP | 384:g+zL2ueltymijonjxY5DEfcCObDdnLdCYPMLys086LE7n5WfhiJiIM8PAYEsp:geL2uelnijMjS5Di9ObDdn8YPMLys08D |
| TLSH | T164A27376EF2B99439892D6F4E9583235FF21E042AD944E32CCF58B0B6D5C70A51B3B09 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/tactics/eqdecide.cmx |
| FileSize | 5258 |
| MD5 | 7806911C63D5BC531BB3C6F08F3966E0 |
| SHA-1 | 008CF39AAD470251D3C4BF8A035A87590F278A4F |
| SHA-256 | FDDCBB12D5738A382F8AB16AC76838F0365FDB2A4B367789CD5BD270AB158B35 |
| SSDEEP | 96:OEcbMBsIWiWAGqqKbEWHVnG3US1Sd39TDAUtdrAAKgJ/9Xi7vyrB:nmiWjtuGE8UtvXbrAAKgzi7vyV |
| TLSH | T14EB1E9A9F7C57C57B462C07B68AA0013CA6060DB8F82C4F4F27F076A4D5927166B7AD3 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/micromega/g_micromega.cmx |
| FileSize | 5813 |
| MD5 | 4046F595A18FB82E16E1F6ED826C8ABD |
| SHA-1 | 00C55F107D4C8C9E6D67DE56895254B541878056 |
| SHA-256 | E2F721E621CFE4D4A1361BA5B5F313A9BE7E71680520BAF770EEF4F6D3A7F647 |
| SSDEEP | 96:gAEQi4boDBPIWqAkmv/9mzObwFlgKH9n1azMBxRwL1n1dKLlTrCOOcUViqBx0:gAGjtq+/9mz5ge15BxYTw6hVjm |
| TLSH | T116C15DBD7142B5237AA7C1ABFC5D80628A341047C7A2D0B5B3FFC3988875576A5E3306 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/kernel/conv_oracle.cmx |
| FileSize | 1716 |
| MD5 | 0FAFC5D0CB57A3AE5AA8678DF7C489BD |
| SHA-1 | 00C87A391AEB92CD7DF97A4B109AA61D865CC10E |
| SHA-256 | 3F1985279B0D430A7F52DA796C34AAC26CECA5F54CC710F950C5D570DB0807DB |
| SSDEEP | 24:3r/+BB220nRiQDjTYMw4tAk5cr4jBoXmBoBCQRpimiqE/FRHx2BUR01ul0ns3Rp0:3yBRKRiQDjC0Ak6pR3iNsu6sHeWPy |
| TLSH | T1A33172ABB3C136DB7443E33B7BCE802985256A1AE9438439518CE7128D6C221A1C7F4E |
| 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/plugins/syntax/string_syntax_plugin.o |
| FileSize | 19096 |
| MD5 | 3EF65E02141581FBC9DF702345945A70 |
| SHA-1 | 01BEB1435B852465E80E44DA92BF826DE6C90DA6 |
| SHA-256 | AE3F239ED32496D81495B23F81E7797EE846129CF01B00401E7B14B634F63B62 |
| SSDEEP | 192:Z5botwIostmZWqDq1uaohXJnox4eLv2aXJRWH4qeG1Lg9xi:Z5botwIht4WqGOnoxnb5qRs9xi |
| TLSH | T11082AE19EFCC6A29D8DD1D32867603687F35C1EA12B083A39A7460946DE32DD8D4EF47 |
| 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/interp/stdarg.cmx |
| FileSize | 3306 |
| MD5 | 6331CD003FDB4232D3E3FD86B25F191E |
| SHA-1 | 01CA41C024738495E7CD230C9B9884343E969B56 |
| SHA-256 | 5D4DD0C88A01913F469F3C1116F1D481C49639810BABD3C15BC9975F6C3DA65A |
| SSDEEP | 48:gTVh5+RKRiQDji/S+0AITFpiT6n9WHoZ4n1yUDUiRbSoWccuDSKSKGUxGWWp+S43:gT7IWiWAY4TEWHVnQUvdZnDStUIL45nt |
| TLSH | T128612B39B2C23A97B9269127B8AA0045D530101BCF93D4B8B7D9079886FA553B6B950B |
| 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 |