| Key | Value |
|---|---|
| FileSize | 5604162 |
| MD5 | 8A36D178D890354A531432CF048FB76B |
| 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.4pl2dfsg-1 |
| SHA-1 | 560EB5B0451621A2576E168B1183AF833D69552D |
| SHA-256 | CD02CCF3E0E5D8744278292AB23604496ED62DDED55FA53BDC2E618334E34ACF |
| hashlookup:children-total | 410 |
| hashlookup:trust | 50 |
The searched file hash includes 410 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/lib/lib.cma |
| FileSize | 266692 |
| MD5 | C5E9093E8EB988FB2FBC8348EFA154F2 |
| SHA-1 | 00B824AC1C72A851B46C41634FCCA67BE1156D68 |
| SHA-256 | 6617A42D963F7B9946DC737B1EB0CA202FEC674868DECCD6E6DA730D7744AAEB |
| SSDEEP | 3072:rcAQzDOOTZ7BVWoqOnCZyIUt30wNSUs4WA0F4hxbS9uRiKXiFqe7:rcAQzDOOUMJiUxR8 |
| TLSH | T18F449837F7004DA2E4AD76BECDC2B7A41325E6739E02861A204C573C2DFBF6A6645E44 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/parsing/extend.cmi |
| FileSize | 1455 |
| MD5 | 467579A954C69EC790A221AD43BF5DBD |
| SHA-1 | 00CA0AC6E686C2AE4A9218320A91E4764A1F1027 |
| SHA-256 | 42392B9166DCA9CE1BBE64186FBF580A0E739C5D61E04AE2B3356BA1C0F30035 |
| SSDEEP | 24:dhsveNDuEfBd1SnnA7venvT021VKyxusQ8iZ7jQZsX2UX8klAH1lCvBJ/g/5y2AV:TNDuEfBTSnnKuDMDvQmLZnXgxiu18 |
| TLSH | T1DE3171CDC928016685B2D1BF7366C18F0B61817F118B8C37403962A6CCFE9DE435A743 |
| 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/plugins/firstorder/instances.cmi |
| FileSize | 2956 |
| MD5 | D6CAE14F0BA047E3FCA1066037D6728C |
| SHA-1 | 02216C4D731C532EC99AE6080AB1D62AB669985C |
| SHA-256 | 528EA0D598017EE249F5EB0FAE8D8DAE0ABB1DA1C5F98A84B078964D32FC07D5 |
| SSDEEP | 48:vsjqjPefmlp3jLgcMzvuaqPn9lYDyNOPY7ZGAWg7GhsQZE/D5ITFLKxC4x9vE8iP:vsjqjmfoTbM7MlNOAGVhoNI5L0bM8iO8 |
| TLSH | T14C51D7CD576451FC20BBC12AF705518A62C4BABAE18B4C7F337851E40D3992CD7A790B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/toplevel/ide_slave.cmi |
| FileSize | 268 |
| MD5 | 27F24774302646C23D5679809FB8F16E |
| SHA-1 | 027D55887E69B246F637E1ADBF6A265D90F3C14D |
| SHA-256 | 8A242F8995A665A457759FB1A649531EF599D029D81AB577E046216A93F68ADC |
| SSDEEP | 6:rB/glZK6sS1Sm6BvwDvLDJnBpUvfQhVkl0mNmlv8:dnSkm6BahnBmfQhVkl+lv8 |
| TLSH | T129D05ECE5E6A5419C02A23B80137990A604088BA8A3F8E63412225298CA74EC270212B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/interp/notation.cmi |
| FileSize | 8782 |
| MD5 | 9C056E04BBC13C511DFFE2566E05D803 |
| SHA-1 | 03FACA79D1CACB8C0151AE014D1AA2F0625CB532 |
| SHA-256 | 01BC6CD79178B25B6144ED93815A64593A54148556F55108E228EA803CC81A28 |
| SSDEEP | 192:e6EbLAcbibrdXveO77QrSabvuM/xk4gUUDreoRnATwY:e6eALbpfynbT/xk4gHxnKwY |
| TLSH | T13802C6CC4409F5E489AE686ED02DC48F6310177FD0A74D77272D4AF164AB06DDB2AE8B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/pretyping/termops.cmi |
| FileSize | 18058 |
| MD5 | DBC08CFB4F0C4BFF1FE898C5DF7F1B58 |
| SHA-1 | 042474AB4045F16D0F3364C67620CE4C41DDDBB5 |
| SHA-256 | E38CC8C47FC80BE158D963DA42D79AB33800F6331DCCD2CD5E1080491D411759 |
| SSDEEP | 384:uAfgUfFuoGrR40rem6ycUhRoLBrie6mjaGnAVITbmKfWxoBUY1XwwAE:nYslIq9yxRoLQo+GnAVRK+EUKgXE |
| TLSH | T196823C8C4909F1E822EA596FD15D840F73114B7FA0A64CB7162E5CF529AB10EDB01FCB |
| 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 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/lib/lib.a |
| FileSize | 633812 |
| MD5 | 391015AECE9025BA2A747C70CAD71823 |
| SHA-1 | 04FB785AEC0F31503D630D731CAB54C63C7A54F4 |
| SHA-256 | 82C856E4380F6E29C7EAE22079B45F6C5DFBBF0280C0EE7950C0DDA5FBACC522 |
| SSDEEP | 6144:dxMRD2Br47JKBKIto4DwgekbNEOzByAfmSepkF9+C3dKeAuKPSaeukXVKhCV:dc2hbX+wXwOJV |
| TLSH | T15AD4A486DFCDCE3FC1BA1F3148A70B366670D0467F85BB23A56CB02839427E52B96558 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/lib/rtree.cmi |
| FileSize | 2146 |
| MD5 | 94271661450D19E1F943E59904A4362C |
| SHA-1 | 05183D67E38531C50A3EA8077BB1914D2255D2B0 |
| SHA-256 | 01DE5F47070D02BEEF3249322AF493820817CD77ACBF68E8983E32D708F4B834 |
| SSDEEP | 48:lsSOm4nkEofw1VhzgqMZkYEhXZfvClsmvr9FQ8TP3ACzrDOxX18:lsTm41V4PELHCls6A6PwCzGxl8 |
| TLSH | T17D41EBCE17289CC1026D3EEC5592A44750185A3FD0F78D3F5B3BA59A91BC96DE71088F |