| Key | Value |
|---|---|
| FileSize | 5402476 |
| MD5 | EB78B8B42F1F57E5E70C8DA18E34D012 |
| 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-2+b2 |
| SHA-1 | 041435EFAB48D4F7C51CE96E501B61F321405D94 |
| SHA-256 | 26A5298FA313C93AF261A1169262AF6A2FD602482E9E34C3D5E231DD071398DD |
| 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 | 686988 |
| MD5 | BC11718AD5227C5C446CEBA2C9DC83CF |
| SHA-1 | 0158D5FA90B76901CA5355F6BFB738054AA01C01 |
| SHA-256 | CA1C1ECF65EEBF56E86CC495AA72DD577866BFA2C1E05A6687F4B0C0B3DEFA28 |
| SSDEEP | 6144:jNi2mXr5YGrr9QIRMJS2lTsN8m+pGjopU24nYEIslMO7/YEP3ipzvTST1Znl72w0:j4P7FdF8gHi4/HtGzaeHdAyFjQ4S |
| TLSH | T14BE4C58DDC9A8E38C1F90EB744EF1FB63B35959F9A639B101698B4663E006D50782FC4 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/cc/cc_plugin.cmxs |
| FileSize | 184356 |
| MD5 | 0B92FAD6E99403B28B690486088E96A7 |
| SHA-1 | 046C64F65104A2F024E64AA8C5418611792FB660 |
| SHA-256 | EEF0D5E15249F84CAB46C3C58E66AEBDD2EF12AB583EF2E61AAD15292A4E917C |
| SSDEEP | 3072:dSrjrKpq+5h5Sc+hp5gHqJwnBelYmzv0Jzo1pXbspvyKkLcjZYgiaMnwZ+sYKOxA:4DhteyKh3iaMnocFSdH |
| TLSH | T16B04E792B88888B9D2B50FB844EB4B7A3A34C6453796BB15357C27793D766E00F973C0 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/ssrmatching/ssrmatching_plugin.cmxs |
| FileSize | 233600 |
| MD5 | 5817F5345EFE396F01C1EB7B26C221D7 |
| SHA-1 | 094300763BDC647BE8F09C64F39B7CAA7882C537 |
| SHA-256 | 3E8A828D2ECECD5C2269F68EE7CC5EFF9C64BA58E8DB0F73D87D6305B04CB76E |
| SSDEEP | 3072:X/7VilTXzAUW3RFqZc4DYYqMCDS17RmdOOF3D9vbHvb7sw0q4zOctAEFYJtG1mmX:XjVgLW3fP4DSmR2/D9vLv05Sw1mm+iw |
| TLSH | T18134F8A3FC488CB8E1F61FB205AB4B647D36C7492F92E79BA41972F52D176900F062C5 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/libcoq-ocaml/changelog.Debian.gz |
| FileSize | 8280 |
| MD5 | 35CE9520189025A6AF9508BD73F6F151 |
| SHA-1 | 0CA867334EF2C077D16184837FBA6DC8C6CE6A96 |
| SHA-256 | 6C8ADE481BE5199873C4C81FCE9DC4B4F11015E038C7824D927275E3E31392A7 |
| SSDEEP | 192:gz6OxEFVzzCcSXjsFo/K2L01aYP/goRDbIyZnlnh/:SEFBCc0rLap5Zxh/ |
| TLSH | T1EE02AE2DEAED3E18B5F043D468552A03E523530930DB02C05FDD25AA6EE0CF97E9B1B6 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/derive/derive_plugin.cmxs |
| FileSize | 24072 |
| MD5 | 1FA3A9974430C6FEDC564348699A00EC |
| SHA-1 | 1A7E0BA419B71ACBBFCA3ACD94E8BE344505741E |
| SHA-256 | 309E87B53ED48007E2D84909A35801AFEF2784A3EF68045405B54CDDCCE30077 |
| SSDEEP | 192:ODsAKl8ryVufZ3F/ZUfqE0z98eIlrCHq6F28OVwirUP9lrb4cXF9/2Ki/1Izvs1B:OQAKw3FMwirUP9JF8sQa20bT |
| TLSH | T150B23CA6B74DCD7EC0B50BBE00BF4BA435B4C246BAD3952673183A4C2E1267D6763D84 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/derive/derive_plugin.cmo |
| FileSize | 35583 |
| MD5 | 8E7439F3756D055C65300E9B6C0FCC29 |
| SHA-1 | 1ADED8BA503571D7AEC79A9AE75EF738F821BBC0 |
| SHA-256 | E61324349E903EE895D835CD0836BBF212693878A71DF04507C22C5F3F75F978 |
| SSDEEP | 384:0NTWpQR0mZbczPJR0fWR80U7KqxOzl9rp+73Rr4tfZpy2vnoHfuJBnKR9qRTlPZu:AmQR0ukO0N9xJFg10r4/B0uyp5TLDQ |
| TLSH | T1C1F21A0A76456861F9ED46FFECEB408A133846A5D4DBC42A97FA07821CC067D1BD7B0B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/romega/romega_plugin.cmo |
| FileSize | 345379 |
| MD5 | 58055AF3B17FFF37F2342E56CF1F94BE |
| SHA-1 | 213B44094AB26D6CE25907A84807B1F9C50A5F73 |
| SHA-256 | C854EF4E73F73E6F7F4B31D57D8ECBD4469217A2BC98FB9C2B6DC4E19FE461FD |
| SSDEEP | 6144:R6xroJIQjrUCwgarm7afYf/HptWWfb4e54MUyqO:R6xM1jr4hrcafYHXj55UxO |
| TLSH | T18074C40AB60E5DB1CD9989FEC4CD62DB1F148B6872D3C9F780FD42885E8131D6B9264B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/firstorder/ground_plugin.cmo |
| FileSize | 326008 |
| MD5 | BCF8465204EFD22C029E942F34986576 |
| SHA-1 | 258281B62C74DF5BCB33699450D583E89DC1B08D |
| SHA-256 | 61A8AD4206042BBAB6C10E6152F71539B4B5916FFAA93B391D532936EA576671 |
| SSDEEP | 6144:RlMPhJEPxYrsQnLX4mxYaJW5b6lEDw5sk0R:RCZOcsQnLoaJW5bvRky |
| TLSH | T1EC64A80A72061964EDEE09FDDDE54ACB03280AECA1C7CD67906E06EA6DC161F1FD2747 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/firstorder/ground_plugin.cmxs |
| FileSize | 168540 |
| MD5 | F8338997E4BAE60B94B584B76926A619 |
| SHA-1 | 2C774D7ECE7F7379B3E4A65BDD4FD1021BDF7C57 |
| SHA-256 | AF17A29C4F21D685A4928481F256F2A3D3BF071DA4BE03F199A5CC3000823778 |
| SSDEEP | 3072:O8iubb9voIhYpjQIUZKvua5aTr+kEQ7JtDDrObwQWDcLJICymGCh:T9voIGUQzkPDrObwQWwLJJ |
| TLSH | T1B9F3F7D2B989C97CD2BE0F70499B4FE52638C1953BC6AB51213873B97E706990F623C4 |