| Key | Value |
|---|---|
| FileSize | 7816032 |
| MD5 | EE90D72924C08ED82C4E1CA5C0828F37 |
| 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.12.0-3+b3 |
| SHA-1 | E42DE33FB7CE937E71D63FA24AF255A22890FABC |
| SHA-256 | 95124BEF9C1F5F490256B6A93E4FE7D3C83291C53E2E3BAEB44D56E6EC75935D |
| hashlookup:children-total | 51 |
| hashlookup:trust | 50 |
The searched file hash includes 51 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.cmo |
| FileSize | 2431511 |
| MD5 | EF81F251AE96FE4D49A278D34A55C995 |
| SHA-1 | 01515EE9EE9160C6C701B37D40AEFD426347E7C8 |
| SHA-256 | 650AF45A0B1B3323C5F0A65045641C312F8CC460F0233645CB82A7E144B62382 |
| SSDEEP | 24576:CHF4MnYvlC8EjA3HLDw2U1/SO3HnNCkb6UxcUtw:HZUF00w |
| TLSH | T18EB563CD914E8920CEA80BBCC8DE6AE70E9807E842A7CFE744D915D5BD427DD1B87712 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/nsatz/nsatz_plugin.cmxs |
| FileSize | 258584 |
| MD5 | E0D06E0D5D884DD2EFBD9AB510AE01E4 |
| SHA-1 | 01D8B5AD451BA5153E7D4FA9F0479ADD69A11005 |
| SHA-256 | 153D7CC3ACAB6E983BBDA34B9A3A2BFF173351C23B481A8B835EBAE6718A49A1 |
| SSDEEP | 1536:+m4Iqqj085h9uuTEsNn62/cU3zzRkDs522yp2nDTvXrH4yVxkno57ckbuVSY0BCM:+m4ATEsNbkU3HCX2nDTzHNW0QyYYLgM |
| TLSH | T1F144C7A2F50A2BCBC7511DB44B0B62B273BE99492B3C9747D806532B3E577088F97D09 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/extraction/extraction_plugin.cmo |
| FileSize | 2206512 |
| MD5 | 19B8D270DA6865530378B22DC6D99FA3 |
| SHA-1 | 051B4142237C78F112D566850AB8DCE37B734018 |
| SHA-256 | 54EC028D6B1F91F24DB37C8D545C319CF49C2B2ADBB49237CF7D45FCD5185751 |
| SSDEEP | 24576:Si+SoNshhRm+Sp3teqPrsoRhmD76pIkV0hgxn7jEiSb49FYZgNTqVwLc:/tmzXD5vvjO |
| TLSH | T19CA59305BDCBF830C5EE5BBC4AD3018602B89794124FDA3B6F2E11D1AF627C65B83956 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/micromega/zify_plugin.cmxs |
| FileSize | 255056 |
| MD5 | 5CB0158B527194EBD2B1B7E0A4470F6D |
| SHA-1 | 05EB452DFC0F6ADD44FB3BA0FE0A5C4B9B02097E |
| SHA-256 | 60844A3C7FD05D95B1826A4F01A8D679FA235F0DD99E953642A28C557DC1E478 |
| SSDEEP | 3072:Doe2XPoChy77GG5kiH0Oc4ouztBSAwQx:DSyOG5kiHhc4ouz7c |
| TLSH | T13644C8A2F20A67CBC7515D34470AA372A36EED56392DDB43AC0B930F3E476198F87941 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/user-contrib/Ltac2/ltac2_plugin.cmo |
| FileSize | 2775558 |
| MD5 | 5BC8E1085CD7DC4F91CAF59F69767C6A |
| SHA-1 | 0AFF4A1E7DEEB5422BDA55A70FB937A74539EDB7 |
| SHA-256 | 27BE445602F2D052EE82264A1545386BCAC69308F582BBF8A88485DD800910A9 |
| SSDEEP | 24576:GOSomcahfZXoQzvsLdUVvxH+Gz9+fVG2aZK7uHrLlWHRAKQJP0uplVhRpQwhR/Em:pVaziKuLxxAKQr7Em |
| TLSH | T17FD5A509B6390F50E9EC1AFDDCD420CBA35917EC4BABE597502B06C0AED3B552F46A43 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/syntax/string_notation_plugin.cmo |
| FileSize | 42368 |
| MD5 | 3F4A192DA68C010999148D4800818DB6 |
| SHA-1 | 0D32B73CFCCB452684C5ABDEDB90F4D8BC21134B |
| SHA-256 | 271EC8D2812FDADF19CE009E1445BA88123D183FA1CDDC033B7D5EA22C78352E |
| SSDEEP | 768:cOmP5k06baUP8wMdzr7zs6TgSIrNuzAkU:VmP5JGE7dzsugmi |
| TLSH | T19713A6DEB5590520CD9E37BB04FB015E81BC52E6C0B1E6FBC16D01A0BD8561A2BABF47 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/ssrmatching/ssrmatching_plugin.cmxs |
| FileSize | 334896 |
| MD5 | A0007DEA67051D5AD7A6FE8EAAF9CDCB |
| SHA-1 | 0FEA4316683C52C3334D7399AE83EDB8D1C6A1F1 |
| SHA-256 | 7122BEC61ED7B9422FF630C7B2F0E8FF2CAE209C7E26786E103F95203131BD83 |
| SSDEEP | 3072:iWBeqaSBuXmui/vcEJY+Gv0Ym1FHrkDtyP6IbIvG:RzaouXmui/vcEAJgFHrkDlIU+ |
| TLSH | T19F64D7B3FE0A67CAD3611E34473A5262777F96CD2B28D74BD50F62AB1D4A2048E87D01 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/syntax/numeral_notation_plugin.cmo |
| FileSize | 102784 |
| MD5 | DCBB4108C589861A8A95E833C98C1B66 |
| SHA-1 | 11846073DB83B70ECF4654D297460B8D8D361DC6 |
| SHA-256 | 90B94CC7100F33A2B36A47B8A3EC08FB2D453D964E4B09A11FDA31AE8CFC84CE |
| SSDEEP | 1536:RwT7Pjt4vv9vrSBME5LJyqRvj4QfpM5z68uh/qdOHFj:a/AvrSOE5A+4U4Olj |
| TLSH | T157A3788B9E570821CCDA16BF48E5508186FC9FF07240E62AD42D529EEEC171B1F6FD92 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/btauto/btauto_plugin.cmo |
| FileSize | 87077 |
| MD5 | E9D9D2DAD3D59F55F1ED1AA3A12B139B |
| SHA-1 | 1B975D4B27CA1ED480784B177F03E83E78EEDE4F |
| SHA-256 | A076EC6786BC4CDD15F97A46DAB3AC0E51D27D6B1550131C8F8E4ED867F6CFDB |
| SSDEEP | 768:Nr04KyPtLrCPQWFwuoYYVqY33qEY3kEZYla6lpRD3BDURvBTfSqoGdEtXiL0p:904daLoY1UHeRS1qzRW+e |
| TLSH | T1E883318B86A928B4CCA804FDC4FF4583126452E544E0F91E4CBD8FD79E9162D6FC2B9D |