| Key | Value |
|---|---|
| FileSize | 5873544 |
| MD5 | 1027F9231E9A29C40E2AA072C9814278 |
| 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 | 63D6EC4B34AF4055FA6DACF30036D1D46E1EDEC0 |
| SHA-256 | B20D8F46673973062279878F89161AD794DE67C26554B9878B9000A657B852B9 |
| hashlookup:children-total | 394 |
| hashlookup:trust | 50 |
The searched file hash includes 394 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/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 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/lib/hashcons.cmi |
| FileSize | 2495 |
| MD5 | 446706A592616D35D6DBBD58551C436F |
| SHA-1 | 04866774ABF917A65D8E3138FF94433E5E4BCA0E |
| SHA-256 | 78FBCEE37364205260097BC3E7FF294FED80474A1A39586A7B15B1FFA81788CD |
| SSDEEP | 48:RsHnROuw8xROgLI5Jrjgb/aySwbsjzSm8XTXbAziOkIuA8Vh18:RsHnR+Tg8/gtSwbs3SmYzbAGOoA8Vz8 |
| TLSH | T12951DFCCA21D5C81598E6B6D1006D18B1101427FC9BF8D7F0F2B256688BE99FF312D8B |