| Key | Value |
|---|---|
| FileSize | 5884584 |
| MD5 | A759301B252F55966F93F12CCE211FB9 |
| 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 coqmktop, and libraries needed to develop OCaml-side extensions to Coq. |
| PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | libcoq-ocaml-dev |
| PackageSection | ocaml |
| PackageVersion | 8.2.pl1+dfsg-6 |
| SHA-1 | 596922A89D25BBA21A2F7B192955D5E689DD5F38 |
| SHA-256 | 9D3FFC22565DA9F0A7AD072F01240429700996BA469786914C45A8554E55E603 |
| hashlookup:children-total | 333 |
| hashlookup:trust | 50 |
The searched file hash includes 333 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/parsing/g_decl_mode.cmi |
| FileSize | 1868 |
| MD5 | F37EB81A51BB240125CA15BC9F0E016D |
| SHA-1 | 003C9412229BCC4C75A3BFB453DA76052DAA85FC |
| SHA-256 | AB7916392702B8C905938B9FDD5C29EDF60E2D930C175E3E98ADDF6E07B725F2 |
| SSDEEP | 48:JoiZhqhj02boXbU6V/JwVu2/wVO8zMwOqcfc76hfVIWZ18:JoiZcj8Ua/JwU2/2RIwmfc+h7r8 |
| TLSH | T13A313B9BDB44E1E3DF5611F75304010A0AD0ADE28C27CC773B69129E051FC933B26A43 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/interp/notation.cmi |
| FileSize | 8147 |
| MD5 | C4CE681BB3C33D85A1E9EB005028F2F3 |
| SHA-1 | 00CD280BA0652C4B9E1C4ABC2630E00F6F482B07 |
| SHA-256 | 1FD28560F2FA5E4B741B8D28EF11CE542DFB07899B88C7B7D90118A40A97F1C7 |
| SSDEEP | 192:CRHwOgNgROsFvgE7Okq1H+m/CiKkF8LECu+khSRDHuSF7kxsBdp:CRHwOgajO71H65kF8LECuZ2DHuxsbp |
| TLSH | T1ECF1FCDC850AF4E50ABD685DC02DC44B63200B7FC0674D73532C1AF665AB15EDB2AE8B |
| 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/library/library.cmxa |
| FileSize | 18252 |
| MD5 | DB55A18B5D8471E5AE7F7D3A7A765B15 |
| SHA-1 | 010CD8CA9026E6C3E62D915FC2929ADA8C297E64 |
| SHA-256 | 3FF8FFD6EECA22B9CDA9AD9145817D986242E0E6539CCA0D0880F532E416EFD1 |
| SSDEEP | 384:j047D4kdh4Q4b0njvzCyvml1QwKzWz+zUFCsFkN5XV6mRy4q1x01X7nozm2szWgx:j37MkdG7bcj+yvmEwZz+zVsyNVVtRBeI |
| TLSH | T17182D8159B45B2A36E5542E5C304A20F26F1AC8BD867ACA3E76934ED810EDC33763F53 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/library/nameops.cmi |
| FileSize | 3110 |
| MD5 | 28C6F701B783CF7CBCFD283AFD42F790 |
| SHA-1 | 0161F64FE4E99D89E589217B35A9953C7A04583C |
| SHA-256 | 520DA716F4726E385DA0DB36F5EB07D8DEA01A7E79D57CDEE0A2296CB884007B |
| SSDEEP | 48:QsJ5I+zJbo2GX6Z90hALO9ZFyhpqhiyon9/O9bHDjBLuTRKdlv0QwtR4/S4T18:zJ5I+z3A6D0hAYyhn5kbfBLgKdV84//8 |
| TLSH | T1A3510DCD591C88D308DE959DA581510762301BBED0BBDEB7963E1CF6A87864EE310ECB |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/tactics/evar_tactics.cmi |
| FileSize | 2357 |
| MD5 | 7074053B72197E05C9D3D00C378E256E |
| SHA-1 | 021220C96F6100D02133D86C3FE9107F844EFE0C |
| SHA-256 | C2E6EBA6EA625A1DA47C18C205C7CADDBC5B5CCBD4B940ED4289552439D428BE |
| SSDEEP | 48:2Gj5gVQGN2d0PouyV/cs2JfdbV4y9a2/wmgR3TOqCOsce6hfVIR18:pj5gVLN2dWy/cs2Xna2/6NYOsc/h68 |
| TLSH | T1EF411BC65744E5E7D69F91998754410B12D1ACE6C4A7CCB3322C10E4891FCDAB717D8B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/contrib/dp/dp_zenon.cmi |
| FileSize | 1696 |
| MD5 | CE9667DC13AC0D000B80D898CC2B2444 |
| SHA-1 | 0388DEE8D5C9F60764B437C6867B12941AA4821F |
| SHA-256 | 39119F29FB4598DC393E416E60F38F6BF6F0AE50B3D21C62421B028AE842B25F |
| SSDEEP | 48:pOK2wQ/wXXK5Siq7UMtm/mBur0n/SKigNN0jon18:pJ2F/yXK5S1UMWmUg/70s18 |
| TLSH | T1C831FAA64B01F192DA9712AA4324510A56F18C93C43BDD7377F83165850ECD33B27543 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/pretyping/vnorm.cmi |
| FileSize | 1113 |
| MD5 | 562D061A245A1235DAD5DF16C96C9B4F |
| SHA-1 | 03A260DC4552FCA3B0DDB489F53E8C1EBBCF6FFD |
| SHA-256 | C0DC057BE916659DA3A9294D7DF451DF623A3635BAD2048052877EDC01F95E6E |
| SSDEEP | 24:rZZGy0//w5NoTy5nUit6uHHu1i/Sj7QInpTcye/18:rZZV0//wQe5nUhKuY/Sj7QzV/18 |
| TLSH | T13A2196825F45A1D2EA0A02E5E300640E12E4EC65C477EDB3772C13ED564A9833322E4B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/interp/coqlib.cmi |
| FileSize | 5313 |
| MD5 | A6F58008D1A2FEC69E30079B18400802 |
| SHA-1 | 0464A47E2A12604DCB8482E6BEB35DC41AB470D9 |
| SHA-256 | CD0EB8CC22DC72433489B5C696E929368E877DD4999C84BADC36A02C5388847A |
| SSDEEP | 96:KrAb43KEngAxzxB9QKoexHqjVvOilFamfqqx/NJ5S1UMcTy/aDN8:v0KEnggdFdHqjVvOX0r1Xl1yx |
| TLSH | T151B120EC8919A8C2567D218CD51ADA47222367BF507B4DF3032C1DB6C17D85CE369ACB |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/config/coq_config.cmx |
| FileSize | 209 |
| MD5 | 759B646C54B45FE6A75394DD7DDE2BE3 |
| SHA-1 | 068C0B9282851A001BE21D028AFE864C5CE2F201 |
| SHA-256 | 805F52CECD39AB388AAEDCB2A531FE98D8CEDCB4B53D0E7FD6AE76AB07341775 |
| SSDEEP | 6:YtEl/iGQQCmKLJP3QCjcdJN4/mFcNmk1vC:2GQXjJvXjHmF33 |
| TLSH | T18CD02203F36B662BE30B277C86AA92214210C604F04CD4C3D373289281E7B42A681048 |