| Key | Value |
|---|---|
| FileSize | 6051560 |
| MD5 | 4952BA97426A791FB1F736FE71437B2E |
| 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 | 765E2755C94414E2614E7C6168733F8AEBBAE92C |
| SHA-256 | EDEF50CDA72DB9EBD692CF228C001681007D3B2BEF64557B6FCEF1EAC0A93964 |
| 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/omega/omega_plugin.cmxs |
| FileSize | 659600 |
| MD5 | A796A1B50E017DFCC880EF9B6D4901EA |
| SHA-1 | 061D1421A9B7FE30835445BB1E77D2F63FE7EBA9 |
| SHA-256 | B1600FE1A74FD1CA210D2045513F44FDD3C67357D1C4947E564F171C180D8690 |
| SSDEEP | 6144:7ags4HkvEQTOnhiJO3xZ8NyKCVfNR2qhNgZBediuat7Es7O:78/NILhhrmZBediuat77O |
| TLSH | T1C6E4602DDE4ED815CD659933C66B1A77373982CD02A1D32612A8B2387EC72CC5FBA750 |
| 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/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/ocaml/stublibs/dllcoqrun.so |
| FileSize | 31360 |
| MD5 | 68CE109BDA490C1CF8094501BAD8AD5F |
| SHA-1 | 254AD521F3F71EF814DB40866CDFDE75473C1C7F |
| SHA-256 | 503A681C0CAA4468D0606B7FC8785297BBC4530C407221AF7D7A868BD06CB03A |
| SSDEEP | 768:/zz/3CBUzAyTApWgGqEeRlxeSy2EyI2hqSlvlSM:/zz/7zq/Ny2bZQ |
| TLSH | T129E2E89DF44DB623DBCDA2BC63DD47B35B5698C8A2C3AFA37202414C6DC73896E504A0 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/rtauto/rtauto_plugin.cmxs |
| FileSize | 161424 |
| MD5 | CF0DE3CE95C313BC83EDAE8A4071992E |
| SHA-1 | 281523EC7FDEE085EED1AFA6FCF6DDEB31971E0E |
| SHA-256 | 4D92804D3B347A82DEB9D5FC77167751C573D456A429E07AB30DDEA3D6C38BA9 |
| SSDEEP | 1536:v0uYlWCmfWCMUSgM82JwT5VKoFSZXOv03E2bMjv5djiV3jZsT10Ro0DfhJEC5u:uHBc5mZeCE2bk5djAzZM8d5 |
| TLSH | T128F3A42EEFBCEE79DC940572065A5A977B34C54953B1C30312A0FB287EC7AC61DAB640 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/ssrmatching/ssrmatching_plugin.cmxs |
| FileSize | 362288 |
| MD5 | F1FED90C3930B1EDD09799F290B68D14 |
| SHA-1 | 3A93C2D738321E049CA4FA8E4097E190547F7395 |
| SHA-256 | 8866013DA0277BC822D02033697FB7C755C8B5BE99002AAFADFF428AFEFA8F50 |
| SSDEEP | 6144:GT2Xs5NxAQJ1G8QNBVpdRl5KOSWaeim7XjfLnzvQsYUg8ok5VB9JlRNmSO62ieKi:GGs5NxJm8QNBVpdRl5KOSWaeim7XjfLc |
| TLSH | T1BE744D7EED4CED19EDE52372467B4A82782AC2CC5351C24FA06EF6F835CB2D40D2A552 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/syntax/ascii_syntax_plugin.cmo |
| FileSize | 28728 |
| MD5 | E1335FF307EC0131EA749CE35D371499 |
| SHA-1 | 49E543F395BFE61C38D64957F82FEB1E2422E6E6 |
| SHA-256 | DBA0B3D762795506C7AB6F80478B8CA54278ADBD00DC231C60A68351FBA097F4 |
| SSDEEP | 384:UoMzRXpcr0mZbczPl4mwiCgd0FsMamZ+Z+kA42tz+nSnGn1df80gM4:UFjcr0uvMLVMVHzwSnq54 |
| TLSH | T11DD294293ECD1D31FCEE08FAACC541EE4F2917686196D82681FA87C618D56591FC2F0B |