| Key | Value |
|---|---|
| FileSize | 7960464 |
| MD5 | AA6A7BA04D833211D4831C6F7EB61DC6 |
| PackageDescription | development libraries and tools 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 and libraries needed to develop OCaml-side extensions to Coq. |
| PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | libcoq-ocaml-dev |
| PackageSection | ocaml |
| PackageVersion | 8.9.0-1+b1 |
| SHA-1 | E73438B1101DC3BAEB881B5D82BC43C85807486E |
| SHA-256 | 0A1C00B42DA76FB42D819B53BC5F549A50966F74780BA0FB3E7DF09C8185F517 |
| hashlookup:children-total | 444 |
| hashlookup:trust | 50 |
The searched file hash includes 444 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/clib/cSet.cmi |
| FileSize | 4572 |
| MD5 | 08B0520A67C146F952663E6C165BB421 |
| SHA-1 | 002A321D9FD5C88F2B35E9995E3352D14C2953DE |
| SHA-256 | 34B8B4285010F633B344FBDABE61379F4F18FB3257715ABE0E5158E51984B024 |
| SSDEEP | 96:DAnqpgjiUb3cGtsTZ5dNtOnSMuZ/7fjpz0TMIIylPYvbAU8:D9pglbs/TpNj/7VWPlPYsd |
| TLSH | T10F9150ED9424F05812EDACBCE25ED9D701480A7F95734C776B491E52A7BE01EC31E0AB |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/syntax/r_syntax_plugin.cmi |
| FileSize | 6781 |
| MD5 | EAE8EC437DB7F69804ACA3C4270D94B5 |
| SHA-1 | 003967F9B2A978A20168E62A1B36B2988046A8F2 |
| SHA-256 | CF2AE0D6CBE1F68FFF29DAAADA7DA67BED8CA899DC88287F90009A4A51EA3C62 |
| SSDEEP | 96:1T6AmW2+ub9yXdUkWNMCkZgPRt2RizH2wGRjXMgFbVryQorA77h7BsB4DdvVr4y1:VYb9yXdNWO9ZgptbSQQN717Bg4DYjlKH |
| TLSH | T162E109ECA64460E2648EB5BE94814C57802403FF9C378CBF427D06E966ADD6ED327D87 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/coqpp/coqpp_parse.cmi |
| FileSize | 1258 |
| MD5 | D6911BD4240A547ADF7B80C1C40C0702 |
| SHA-1 | 00EDD65D2184519666DED458162BC6ECAABABCFE |
| SHA-256 | 5585D4F09AE3D566B4C182B7BD247E2E8E9A4C312814BD6D40BE763E00F536AB |
| SSDEEP | 24:XqmwVcRtT2KZtuvpjg/xts8IQTcZi03lMqQpWbmC/kG18:No7QtKpMwNUco0VMFWb9kG18 |
| TLSH | T1EA213088E2551031E94F67FDB17A1C1B8554C8AE161BCED3A22844CA30CE65EAF9F0CF |
| 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/pretyping/inferCumulativity.cmi |
| FileSize | 1863 |
| MD5 | 8951CFA1BEFA12659CEAA193FAC702BA |
| SHA-1 | 019E8F599153485EB380FBC3FDAAC85AF308250E |
| SHA-256 | A0ECAC699A86816426C5B76D4D93BAAAF9518BA1A0F157C295013272DC0F74D5 |
| SSDEEP | 24:ufczlXyQTlXytyW4dUEb6KkNgsxMBt+9n6bDiIlt5emjKgSKtv5kERTEirdoY/9G:NXjUkerMS9n6bjzekKgSB0rFlEKH18 |
| TLSH | T1A231F79EB681364744C2B1F313AC04A6006909E31C3BC4EEAB46274A43F8BE37B26197 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/kernel/indtypes.cmi |
| FileSize | 2915 |
| MD5 | 1F4DC90FC06AB74B7E12FA5F69B44978 |
| SHA-1 | 04AFFAB279FCFBF6BB779E7A6A74BD90C995CFE4 |
| SHA-256 | B48D22E02AAD31115C452D2FEEC0466EB69E3D208DE30C5D1311B1461F9E8402 |
| SSDEEP | 48:z7MvpG2Mz/4sm9Sfof1kerMS9n6bjzekKgSB0rFlEKH18:zQvIVDfof1kerMW6bjzekHSB0MKV8 |
| TLSH | T1DE51A5DEA24D30A30485A1BEE2A46C53005407BD183BCCB7A20C05E6A5FD59EA7378CB |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/micromega/mutils.cmi |
| FileSize | 6033 |
| MD5 | D34B5DBD8082E580D418B428B62155B7 |
| SHA-1 | 04BB99153F94D11ED43959CE79AE92D9C6E80BFB |
| SHA-256 | 1551C4EAAA14C0EC02AAEC2BD72B6947405734B42D8547F941AA1091BCA7ADFD |
| SSDEEP | 96:geh4ln4R1AjiNmv/MDONzNeXB1hyb6ertGrNsfGTLlRGc/b+w8:r4R44jiNmMDONzNerQz+NseVR8R |
| TLSH | T124C197CD9064F06E06CEA83CC15FD9FB19481ABF94734CB31749069169AE45EC35F8AB |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/toplevel/coqtop.cmi |
| FileSize | 4484 |
| MD5 | 5B1E62D3CA9D7E10C96B36E9EF1FE254 |
| SHA-1 | 057A6C952A49EB04C9305AA3BC5188CF9D9B21FB |
| SHA-256 | 615060B78CBC9823B2BEBD9383B180BA657785A9D7EB3B1E9FBBCF005D422790 |
| SSDEEP | 96:4Jv3fbR2wGRj7AMgFbE3ryQmrA77h76sB4DdvVg4y+tljKRv8:4hFkAZQn7176g4DlnRKy |
| TLSH | T113910AFCE741705399C2D2FB90A9447540B40293A23BCCFEA723174A22A9DFEA767117 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/kernel/typeops.cmi |
| FileSize | 5758 |
| MD5 | B1E2691E299528FC9F72CF830879FE57 |
| SHA-1 | 06A1D2D1651F7CDCFDF88105173A2788424A9C37 |
| SHA-256 | 5A894B0AD2DE55BBF388F4D197F03EB195C3BFC98F436A2B1CEF12D8190CD2BD |
| SSDEEP | 96:kAjtRYI2wumupiOjPLimr0he0CafBqjPCjPDkjP1WFjP6jPmqelu4uASHQGhY7kk:3tRYI9uXpi6PLt0hHfBWPOPDMP1WFPGu |
| TLSH | T1BCC1BACD9848F4DA259D60AD819A9D472238037F8C375D77622C06F0A4FCA9DD329ECB |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/ssr/ssrfwd.cmi |
| FileSize | 8025 |
| MD5 | B95382444E64FA813910912798307761 |
| SHA-1 | 06DB75F584966A7FD6148957BDF6232AE076F5A6 |
| SHA-256 | AC380D3F5DF870F483DFB7D2FF56030CDEA096DDAEFA44EECD97CC9C6FFDC940 |
| SSDEEP | 192:R9GefYlVNm86zFDQnZ4Ffg3sNAnc5PV2774FCxB+6gN2VRo51D7:vffWVg8RnOg3sCaVA72CnvgEVRo3D7 |
| TLSH | T1B6F1F9FDA9C624AA24C390FED0118843001493FE9E67DCBB527E1FD1AD85A9EC397943 |