| Key | Value |
|---|---|
| FileSize | 5685396 |
| MD5 | CE47FFA68A7E1C5415168AD35E545DC6 |
| PackageDescription | runtime libraries 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 runtime libraries for Coq. |
| PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | libcoq-ocaml |
| PackageSection | ocaml |
| PackageVersion | 8.9.1-5+b1 |
| SHA-1 | 2DE583BEC8E4174F4A0D661E2B241560DEF09FF8 |
| SHA-256 | 18CCA449FAE73958B50DB882BB9809C95B50913F6401C519E0E342B2B9A0EDAD |
| hashlookup:children-total | 50 |
| hashlookup:trust | 50 |
The searched file hash includes 50 children files known and seen by metalookup. A sample is included below:
| 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/plugins/micromega/micromega_plugin.cmxs |
| FileSize | 852536 |
| MD5 | FDD6EF47BF7D3CA766EC9B77FE88CA8C |
| SHA-1 | 025DC9C20D4C625613EB64B934F6458B29179F3F |
| SHA-256 | 553C7F1A70E919D159162F6029B5D88B24D9AA30AD491257AF4C961D7C052107 |
| SSDEEP | 6144:tq4necgBBEDjP6EiF7JBgFOlkYFNP3K99hmxarGgJ8IEoNJ54L68oz:tqFcgBcMgUPP3irGg1iL68o |
| TLSH | T1BB05B49E9D8E9E6DC2B4813984EB16713EB1B99B4B519B0311D466303F434BE0BAF7C4 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/libcoq-ocaml/changelog.Debian.amd64.gz |
| FileSize | 224 |
| MD5 | 8A1C6E147FEE9D9A4478192CB1075669 |
| SHA-1 | 089BFB91319D0A0DD6946783AC0A1A7DA57440D7 |
| SHA-256 | 4FACCDD075EC883E139B17D2E4B703306B6D67CAAA4044C26FA87D04E928BE59 |
| SSDEEP | 3:Ftt9scZhy3cQtIA+WASTAHqEu682+FRvskaCBmEPtRmQ67rtRkTV03kPCkBA2m/Q:Xtdhy3ZtttEuN9BJjn+uferH2vjln |
| TLSH | T1FCD0231F51F6E71D5D0C4D710671148A4CC2DE3C32CEB681D5F7C44568D5A44027A149 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/micromega/micromega_plugin.cmo |
| FileSize | 1425263 |
| MD5 | F0B00A3F996D847DF421A0AFD1C410F3 |
| SHA-1 | 09947D2B575905415BFD9B3E2345E35B40E9FD63 |
| SHA-256 | 27ACD8DBC6A285ABC563B03769539E395356C5955EB1C222BF521389B6F7D009 |
| SSDEEP | 12288:Da/twqP4X6ePJVmQ+aorN4o2YewrYyD0EwQAXrye3RJX/ssc3GcEwKxKuk/75e57:Jh5Pz7WN4xYeBbXWeN8zEwK1k/858y |
| TLSH | T1B665B78E754EC960CDA806FDC4CD6AEB1A184BF86393CEE780DD15C56D8239C2B86747 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/quote/quote_plugin.cmxs |
| FileSize | 77472 |
| MD5 | D6FE003F3F2E6F31EC039996C72F19EE |
| SHA-1 | 0CFC4652FAB92B5CFC8ABE4FDEBA668AE60C6354 |
| SHA-256 | 1206AC7BE4F8D3CAFAF25E66DE0F4EB207097310BB7511863615B568369A9B1D |
| SSDEEP | 768:L6yfYWi9dveePIwMWBD082axdfmlsfDqbriMScUrGsYSa5XNeifQHdQ:L6iiWNu2YdUs7qXitiRZD76O |
| TLSH | T1E8733B1AB895DA7EC2B9C33D45D745B17BB1F8519E806B0326A037261F522BD0F9FAC0 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/libcoq-ocaml/changelog.Debian.gz |
| FileSize | 8843 |
| MD5 | 3D5659A9AE089B2C3852A3DF44E8B516 |
| SHA-1 | 18B75666B54F972AD13DA7E55B2455EA7A50389D |
| SHA-256 | D46D2A2B73A1E5B8E046C951AA86A93EDAC4609E7F9C57938706AB79B5BEBF00 |
| SSDEEP | 192:FcP0sF8K9a683088KnlbbZWwCphHO4jlMKGz/VY4bl3g3D6iK9J4c:DsL9m3Dd5gvhpjAzeuQ3D6iK9Sc |
| TLSH | T1AC02AFE4A932756C7662CC4FF4D9FD7565883308210EF81960E651B9632D1D2BE68D02 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/extraction/extraction_plugin.cmo |
| FileSize | 1748138 |
| MD5 | 61A4C22E21DB33358C3B2AD33105A06A |
| SHA-1 | 19475D731289933BC67465087173C44902E083AF |
| SHA-256 | 6D94318B148BCC6522FADBCAA79FDF86ABE6243ECC5CF40CCC5D0130934D4989 |
| SSDEEP | 24576:/fsVDwxoFykJY64BpwTwn+Iq8RMRXJVHnYFhvluN+r+8W0lkyxmMIy1:8+LMwn+IO+RZlddN |
| TLSH | T12385B7057DCBB930C8EE2BBE86C242CB03348764624BD93B6F6E01556F927D72B87549 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/firstorder/ground_plugin.cmo |
| FileSize | 326207 |
| MD5 | CCAE7D2A02257889606DA36A4E330B33 |
| SHA-1 | 20D631A4C37338997036BD75CDDE3CB969661FF4 |
| SHA-256 | EC0468A2ED0B09DD97EB66F4A02862778E5A97D4F01F70281EAAF33DC6CCF145 |
| SSDEEP | 6144:nJKpPDeBfr+85/xoETEc5CFkpHWTq52vVT:nAV0j+855Ac5CFkOBvN |
| TLSH | T14D64A80A72061D64EDEE09FDDDE54ADB03280AECA0C7CD67906E06EA6D8161F1FD2747 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/funind/recdef_plugin.cmxs |
| FileSize | 1244784 |
| MD5 | A2F10B0402DC0EE1DC0970038478ED5B |
| SHA-1 | 2806377552E2FFCF0A961EAE07F0F67C584E6313 |
| SHA-256 | 5CD84ADB90B1D7CBCD31D183311BB3C409576AC32E31E0F382099562B2D35CA6 |
| SSDEEP | 6144:CJmT/zv7qkUCJ2PK0u1xECxIInHnHHmGMXDc8dl+vvPvgAmXImGQwxRxRxKiaIHX:N/7QCGq+WGW3pF+nJPyQ0NK |
| TLSH | T15E45D65A9C88DA7CC2FD853E859205F93AB1B816D6D05F021994BB203F436AD3B6F7C4 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/omega/omega_plugin.cmxs |
| FileSize | 548576 |
| MD5 | 751298A05E0414D4F4E8F31749CC86F1 |
| SHA-1 | 3636EE38D146B52B4881492E270E373FDBFF24E5 |
| SHA-256 | 59E4C9DAA6C8C8AEB09DDC888A4229AD24EA804731F533F9B4136C48C352E8B2 |
| SSDEEP | 6144:7mOT7Mpae0+F3xB5L8dlZ5uMKMc5d3Tq:7mS48pC5IdlH57K |
| TLSH | T19AC4A46ADC9A5F7EC9798139849B16323AB2795847A0E70316D0F3343F431DA1BAF6C4 |