| Key | Value |
|---|---|
| FileSize | 5752170 |
| MD5 | 99B7C70BEC58445AFAD078F0FC2EB418 |
| 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 | 9F5FC789A11682E9EAC6C4DA8091BB8B13EC6BC8 |
| SHA-256 | D6CB6F27AC9CFBEFC1CDE3A2A8B7B9C633FC91657C4A959BFA2BD29135B10D1B |
| 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/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/toplevel/toplevel.cmxa |
| FileSize | 86852 |
| MD5 | 3EA14F561977B56DA78580901DBFA500 |
| SHA-1 | 04F3F424DF8E2099995A65E745426810A8C747AF |
| SHA-256 | 90360FE531B98E5F8BA554F30100FFDBADC0022767ADF563867BC5DA7226BB1B |
| SSDEEP | 768:6QrbU+ivT21JNelx4UhCI4KpdzC+5W4j1IFEsFjUp7RygXApq4CP2TjWxwNZ088Z:HNqyFexPwme2qCGlLoDYq60eiR |
| TLSH | T1BB834BC6E72073BD30B3C126EF10444D65D8A5C2A15788BF73B5A3B4493EC659B6BB0A |
| 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 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/proofs/tacexpr.cmi |
| FileSize | 14960 |
| MD5 | 9C54B7272B8D3BCC6DE145895ECAC0A9 |
| SHA-1 | 0560FD1F7041E319556164768E3F274D024C4478 |
| SHA-256 | D11E766DD42A6B4D157CB78E0BA97B820283FEE8DFD1F313E1CC87891C257D6B |
| SSDEEP | 384:TSeg6OaOIWRL4ItUp4Gc/Ppbi7xNahJYfokv:TG6z614IykA7xN+6vv |
| TLSH | T11662FD8E9008F0E226F5C8DCD16DD4CFA702877F90A78E77021C6EA546A745E8F91B97 |