| Key | Value |
|---|---|
| FileSize | 22348924 |
| MD5 | B89D32AE4B5DCD5D2909613D183909B3 |
| 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.14.0+dfsg-6 |
| SHA-1 | A13AFED5757383558335E1645D1C441864634073 |
| SHA-256 | B8515B46CCD30A481AEA4547DA292CE4D555F9A0AC7EC4C25511EFC6E5FB1FC8 |
| hashlookup:children-total | 81 |
| hashlookup:trust | 50 |
The searched file hash includes 81 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-core/clib/clib.cma |
| FileSize | 1560292 |
| MD5 | 2D209932197FD23D9D4FAE4697C603CD |
| SHA-1 | 080C02AD9B3BE168F4FF45AAC8C6AAD92493DF57 |
| SHA-256 | 5005F51DC1C0BEB78652AA9DF4485F462F310D1C2C1FA905C40F2610BF183B09 |
| SSDEEP | 24576:Upnpv8W/tHRavIUBSU5PiYPSLn662emXryMmShSD:Up2OCAqSGM |
| TLSH | T16D75813FEB564E62CC9C26BDDCDB721345A0193A85D49CA7C40D06F488B6A2C3F56E87 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq-core/plugins/ssrsearch/ssrsearch_plugin.cma |
| FileSize | 155808 |
| MD5 | 5DC3AB3493CF0629FC685C2D94C05A27 |
| SHA-1 | 0D0D0B836604FA96B574BF8C3A907FFB4192750B |
| SHA-256 | CD57B79297A6FB9B0716A8A31B5E0EB52DE139EF0CD37D67939854EF59511834 |
| SSDEEP | 1536:7bz4GAF23dmaqs6Ejy8sv62ndlezxMWiQuJt2rVzkCHLbZrdaCu9+Wq6:7bMGt3dmae8si2UHiQuzKkCHLbZrsZ9J |
| TLSH | T122E3644E92065861CCB9067DA8FDF1EA4FF65B4D0ED1852BC07A119CA842F1B9F47E83 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq-core/plugins/ssrmatching/ssrmatching_plugin.cma |
| FileSize | 593197 |
| MD5 | 8096899F7FDCA78B9F67F9CD352B979A |
| SHA-1 | 117D63EFC8E6E597E4CF76E6E2FBDEECB9A659AF |
| SHA-256 | 26BF0DF30AAD1168828D774ABFA5E983A204A0F59DB8D4F0F11E584AD3BE1BCE |
| SSDEEP | 6144:LZ2T7/N3mdvboQ4D+/peMMHa4JhGxv0HGYk+AqyxRBAsFZGTRhX:LZ2T7/N3mNbvrMtGZAPVA77zgRJ |
| TLSH | T17CC4313BEE5C08A0F8F517BA88E891CB4DAF879D5783C59FC12F02D4A44A7191F4A647 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq-core/proofs/proofs.cmxs |
| FileSize | 372408 |
| MD5 | E0502C376B1D1998A28F7C7EA92C3E71 |
| SHA-1 | 127DB22D9556022CFE8422A6BBC968B137140F20 |
| SHA-256 | D49BF53F843C3A6A5F702AA50E5442C056BE7548BD374E0A981C8F7EA360FA61 |
| SSDEEP | 6144:jPG+dpsYU7opG4dyiiQ6PowBXBavVE8E:BzJiQsogXBaN |
| TLSH | T17884B4D09A52C35FD2747F31E7CA4768B3B548537AE9EB4FC68813323C623B6A959810 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq-core/plugins/micromega/micromega_plugin.cmxs |
| FileSize | 1493888 |
| MD5 | 5CD7361411D245DBBA554CBA78BC2BFA |
| SHA-1 | 166A4F62C179952D8387050317D67FAF2918DB7B |
| SHA-256 | 8B578DA92831BE26F0DEDF7D34C5DEBC2B785F15DC229A8F186E0675EAF60AE1 |
| SSDEEP | 12288:mmr3icZVQ69WGuZ/oTBKIiwmHsQ4pnQJQR5nK:mcL/65QmMQ4j |
| TLSH | T15D6595D9984AD35CC2782D34D6CD5B7877BA8AD33AE9AB8FC5C813323C5037A9496D10 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq-core/config/config.cma |
| FileSize | 8170 |
| MD5 | 800BF16ABE2275E13C53BAE3DC97371A |
| SHA-1 | 20921DB4E949C2954CF059D899CABE7885FE2127 |
| SHA-256 | DFD242ED044B0B7BFC05FD0EF6B2486ADD5C94DA3B5F97C0B10795222B740EE7 |
| SSDEEP | 96:NI/7yWQfPl/UMGJJdF7b2yxSqxy75ScZ2/916v+yXvaMSYWT6Uki677qAO4aJ7+c:Ne0iMYvINUy4ByfSYWT6UfSXh07+c |
| TLSH | T179F1844FD60F8867DCE914FEA8D35183A9F856FC86D5C66E806F0CD086D205F2352B86 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq-core/plugins/ltac2/ltac2_plugin.cmxs |
| FileSize | 1588344 |
| MD5 | 2E777AF59D7544D0B10A274541F121DC |
| SHA-1 | 2127815B76A9FAFA313EF7D4F13A98E336BA8888 |
| SHA-256 | 8CC6D7564C6355E1D5ADA97539E6133229E585ABFCD42F3D20805EEABC6CDA62 |
| SSDEEP | 24576:zRomUSTjYBOPmqcVkaURL1xFRjp//SkzB0mzGnnQAGVWFk:zo15ZznnQAG |
| TLSH | T13E7592E59865C36CE6683D31D2CC4BA8B3799A863FEDA70FC5C427713C91379A296C10 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq-core/plugins/rtauto/rtauto_plugin.cmxs |
| FileSize | 137344 |
| MD5 | DD8050AE7C2BC1588AF706F43CF8A7A0 |
| SHA-1 | 221684A940B763C414050DD2E272450FCDD5E3C3 |
| SHA-256 | 4E7B00881DDE56F6ABF8B37F96B643B6298EF197BEF8A9FF9A72322285F6BFE0 |
| SSDEEP | 1536:4lOpXDWUBVmvwbkdeqquBuspnSNAEz4elxtyjU/g7u9:4lOVVSMkVqU9O3ZSu9 |
| TLSH | T1A6D3C6E18F6A834CC1747E30E6DE076CB379898766E96B0FC2D867313C617729D9A910 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq-core/kernel/kernel.cmxs |
| FileSize | 2944608 |
| MD5 | 24D75A89A5FA79FD443450211F8E5DBF |
| SHA-1 | 24CC1B0865FB5A5F66C37B0A4D8E055905E04470 |
| SHA-256 | 55E778B5B42957C4EC1C42099098E783660F7196C63DDC6AED9DF3218E3B8CA3 |
| SSDEEP | 24576:cGebWPuxRkcBJ2pPelb/XE/2B5/1I8qh/FJfPIWlpF1Y5W5CM:0SPuxRk8Mpq1I8qh/FJfPIWlpFy5i |
| TLSH | T187D5D4D1AD12D39CD2783D30E7C98368B3B989973AE9734FC69C237A3D6033A9559811 |