| Key | Value |
|---|---|
| FileSize | 7528276 |
| MD5 | 97CC0F3D6A72B86BC1CDAC4FD78C82AA |
| 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.3.pl2+dfsg-1build1 |
| SHA-1 | 3E6DBC59E8BC27E11CE8634FF5C05E8BA91599C8 |
| SHA-256 | 4B90DF1E7ACFBADEDBB96E98D7CA999A52CAC3C6B0F69C9750A7E350712522D8 |
| hashlookup:children-total | 440 |
| hashlookup:trust | 50 |
The searched file hash includes 440 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/toplevel/class.cmi |
| FileSize | 2819 |
| MD5 | 7B82A14221462837426D6E53BF61E5DB |
| SHA-1 | 004CEDDAA84E129A6493F4DD8A51E9948363ABD9 |
| SHA-256 | 66E828532D9FC280AF3C74B92DD0784DB59D4631FAABE9D20006369A69EB9441 |
| SSDEEP | 48:dF58jLgcR4CAV1bK97yBfjrd5QKLHcIYTvf6fs43C7Uc0lfvhs0QrntFR7xQcXop:dFebqCAV1dxrrQKq85lfvS35X/8 |
| TLSH | T15B51ABCE8D8099E81565C1EC9C01404B23A15ABAC27F8C3BD37C15FD993A59DE312EC3 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/parsing/ppdecl_proof.cmi |
| FileSize | 1765 |
| MD5 | 7A5BD5E3343DDEBFC37D5CE0EF71DA86 |
| SHA-1 | 00A1B3A6D6A6846FC2F98839A89AA7EFEA1C5C74 |
| SHA-256 | D8AF4844EEC7342DBB0B08CC7C5904C843F4C0DFC1C47C05F7BBEF5C0073F94F |
| SSDEEP | 48:snbSwYlOChwtnf74XC7Uc0lfvUs0QrnFiFR7yfcwK/TD18:4BYlOCGQ5lfvhf6Xb8 |
| TLSH | T193310BCEC9901CBC19B6D5699A12401F65B055F1C21B4C7BE37812F8893AED45BA3303 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/lib/dyn.cmi |
| FileSize | 331 |
| MD5 | A78C917F05E4FFE8D33EA38287116E5F |
| SHA-1 | 00E16DAB1BFA5FF55D44EF9113470AEAEA1A0C05 |
| SHA-256 | 304D8B2069A677AF1A83552A08CE4EF5A263BDD7E75EAC597840A74D17871008 |
| SSDEEP | 6:rB/0KSVx4Nlpk/E2nNys3D9uQSm4GREGldq6pkW5Pw0mNmlv8:dsKSVx4NnINys3c7mlrk6Tw+lv8 |
| TLSH | T18EE0C2DEE6294814F1A6233C0412514B9501887AC67B4E6342335406D9A91DD5B01087 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/parsing/g_prim.cmi |
| FileSize | 2231 |
| MD5 | DE469CE2A2AF30402A75205839F03AA7 |
| SHA-1 | 01EA3E5C1A26CEC8D62F62ACF8EC820A8758174A |
| SHA-256 | D9EFA95C7C28289B95BF954157593E7FBBDD28672666B3E827F7EFA244E308BE |
| SSDEEP | 48:1+SjjkY/+Ewtc4f74XC/Zc0lfvUVH1wM40QynFieCR7yfcc9TK/FKhD18:1++jWpQ6lfvewNC5EX2PT8 |
| TLSH | T18C41F7CA5AA4586D0996C5799A02809F06F01AB5C33F4CBBD3A80BE9493AE5C8753203 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/interp/coqlib.cmi |
| FileSize | 6610 |
| MD5 | C548AE21E29A40AE129AF4C83B40B8BE |
| SHA-1 | 0292DBDB6ECDACC3B1FA755853DB434A6B6C61EA |
| SHA-256 | E62ABA8679EFB05414CE273FD6F28CB2AFC4CE9B863709CFDE29A230C71BDCC8 |
| SSDEEP | 96:tFZb4NcEngOPDS0OFpYIUIbvRTv0ks7mSvid2RAnwyN6vPH3h7w+kl/qq8:tecEngCypYrcvRTvIiURAnj6HZw+8qD |
| TLSH | T1FDD1DDDC8848A0F2D63D514CD46AC69BA321677F50BB4CB7033D1CA6417D96CE725B8B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/tactics/refine.cmi |
| FileSize | 1902 |
| MD5 | 281A16A648AC4774D05F77180DB32CF6 |
| SHA-1 | 02AB759AD93121642FDC58BDEE810E7D70A08EDB |
| SHA-256 | A2941997B11052CA71B8FCC9B32E7CAFD3ED94E8DD4D0E17D698E2AD22C4D8C9 |
| SSDEEP | 48:7Ca4v60wtnf74XC7Jc0lcOvqVH1b0QrnFKT+F2yfcczK/TD18:ma4SlQqlpvYbfy58 |
| TLSH | T1C1410CCBCA5068BC65A5C4D54922805E75B02DF1C207CC77D1744769882EE942BE3305 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/proofs/proofs.a |
| FileSize | 262484 |
| MD5 | 8D01D019AC835BB22C3F843CBFB82980 |
| SHA-1 | 02F4CABB6036EF6C6B56007186E568079385AB52 |
| SHA-256 | B2C101124FDEB9D8493157D697E0E7FDF81789E9699E4B7DB8AFBA886F102DC7 |
| SSDEEP | 6144:p725cB2X6yb1tfUbSqW7liRsZM/D1okhgBPCE3PcTvwAtfGF8Uf:A5cB2X6yb1tsW7likM/D1uQEfcTvwAto |
| TLSH | T1EC44B78AA9CCCE3EC4DC467A54DB07197164C9133FD2DB0B9404B2207E9A2FC7E5DAA5 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/parsing/g_xml.cmi |
| FileSize | 8162 |
| MD5 | 5CCEAFBFA064182449FB6E322409DA2C |
| SHA-1 | 031B59F20E5519CC9FDF2E1C5C79B5B18B0B6C01 |
| SHA-256 | 4A1915C35F84767A6B07B525B5C36EF2FC72F002BCF13484D17BDC666A437A45 |
| SSDEEP | 192:lmoqWLiAv4kvIvWwcjWM4KDGfg7QpPRv5ftauEv9:lmoqWnvRJ3LGfqWZdtaX9 |
| TLSH | T18EF140CD6045F8E801FDA8BCE06DC18B2210937FC1A75D7B436D0AA2A5BB94CD725E87 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/kernel/vconv.cmi |
| FileSize | 1474 |
| MD5 | 70346D8985A4DB2D92A371D451661E86 |
| SHA-1 | 03551A2A4C31B7B12723BFE98AFF8B87D060D07C |
| SHA-256 | B6C416CBF0484B7B4F7EA1042EE0BC87A2B38D32E54AA3767965C33F125F7661 |
| SSDEEP | 24:d5MeWTE3eGf86xKRI/AuvSM8yjQyCe/OqAhce3JbZPqzjUA/q5z59TH1PM8lpPwY:Aet33R0ruvtQWFAhc0PP2+5FTlNtI18 |
| TLSH | T14531BBCD46D4A068127746FE8522D00F1375997FD4978D73613C06F54D2E45DD352707 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/kernel/safe_typing.cmi |
| FileSize | 5587 |
| MD5 | F6D2EB2D7463A09D3D20C853D49B04E4 |
| SHA-1 | 0482B0E0B1A2970832FB23DDBCA066C08409760E |
| SHA-256 | 67E6873E8DDC53ABD793C369191F11A10158B513823B4E9390D438D7FF31CB3E |
| SSDEEP | 96:JjAtViBfgU0koZ9QFV93P22dPyv22gPRfMTV1+DG531vNA3z+j7lY8:uiBfL0kQQt3P22k+3pfgb6431oz+D |
| TLSH | T113B1FACC8968F1E806FCA49CD19DD08722615BBFC06B0C77032E1AF6953A41DE311AAF |