| Key | Value |
|---|---|
| FileSize | 6039120 |
| MD5 | 4903E90106870973CF630FB7E59A1BD3 |
| 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 | CC53D78C2EBD0894C5B053316FB42BC15092B584 |
| SHA-256 | 858DE206A42CB1B9E378A65EBA42C82EF8C753CDDA061B4551F7427F4B7225D9 |
| 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/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/tactics/tactics.cma |
| FileSize | 501218 |
| MD5 | 473A5F70906A42DD5A0887153B3A9D90 |
| SHA-1 | 0791942A4E956E3E6F3D327B40ADF9B83F9FE584 |
| SHA-256 | DF248D10B05BA2AF04E290DD7412CA6802839BE988814D288296A8179AC14F9B |
| SSDEEP | 12288:e7aex7ZDGOlY+D7bWd75Jziu24/yWUXHtF7vT:8XL7vT |
| TLSH | T1A6B4FD07B7014EB2C4EA8AB2C6D2C7C51325E6769B030B1F255C9B6C7AC3B6F6B45748 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/contrib/firstorder/unify.cmi |
| FileSize | 1305 |
| MD5 | 73BCA89AFEE40C58F7969910F53123AE |
| SHA-1 | 0825763B1F86FBC69E6CE68DDF4870F7E35E2CAC |
| SHA-256 | AD7BAA1B79279800337A7FCAFFD59168D8A0029D1E2BF375239B14C3D80C7094 |
| SSDEEP | 24:aQNX/H8NKMifhsdXIRMAaUGAFcFU69UChDekAlDht8ynwtaNo4/S+3T18:bNX/cNCJs1SGAFcFU6+CKlD0Qwt74/SD |
| TLSH | T1B02124DE9B1CA9D145A292ED8561810B27208B7FD1A78C73922C15F6A85584DF321CC7 |