| Key | Value |
|---|---|
| FileSize | 5748142 |
| MD5 | 408693D203F1F5641026B61AF50D80EA |
| 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.pl4+dfsg-2 |
| SHA-1 | 58D1A327D291F9BB90BAABC913FC5521729131D2 |
| SHA-256 | C6FEEDAD5463AC9E1A30EC55AEBA6AD2F987821B0CA69A508A519CAB9B4B2556 |
| hashlookup:children-total | 395 |
| hashlookup:trust | 50 |
The searched file hash includes 395 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/kernel/subtyping.cmi |
| FileSize | 1209 |
| MD5 | 27DB796942D5FD936F7155409D2985B3 |
| SHA-1 | 000A8082C55DCB74DB16EA5597C393421E396307 |
| SHA-256 | 0AB02B7E1D3E80912E140565F00BEEEBD02B9DCA4DC01925F63E7A1B233A2B3E |
| SSDEEP | 24:dRXnxxLGyUBvSM8yjQyCvB62IWsqAorYc/ZPqzjUA/q5z59+JH1K3EpFGRqBFEDi:73PVUBvtQnBTAoZxP2+5uxesO18 |
| TLSH | T1A621DACD4BD075BD0072C3FA5721800E62759CAAD86B4D73927843F7C81D4A5E253687 |
| 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/dp/dp_why.cmi |
| FileSize | 1267 |
| MD5 | FC830019DA2E93477423B32F033398DA |
| SHA-1 | 017187DD25DFEAB502105EE07516208984D634A4 |
| SHA-256 | 480708FB688930E1F2817856E0C4C60964002BF3E421F1122C030A6AE286C3F5 |
| SSDEEP | 24:de/aWy6sy004d8aFayHOjSy/y8yjQyCvB62IdqAoZPqUkUA/q5zGH1Jd15p31sB1:oiFO1cXHYHCQnXAYPPk+5c5mO18 |
| TLSH | T1072151CC8BA8951E4172C7AD8B12814B6255997FC9770C73923C16F6982994DE3A2AC3 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/pretyping/reductionops.cmi |
| FileSize | 13605 |
| MD5 | 1F109C8B5AEA6050C175BB36FA22AF38 |
| SHA-1 | 0206130EDDE1436318E5961B356F3A9E63FA1C39 |
| SHA-256 | 78E6FEDD3B5945D17A683D8D4EBECA22AD9D241C2E875AD756619248F3CD48B9 |
| SSDEEP | 384:6bbF4LgNXIt4nN3+itQOsnRSp+scHmQpD1Cqj:6fKLoXIt4nN32OsnWDcHmgCqj |
| TLSH | T1BB52318C4919F0F591AE99ADD0AD804F73140B7F90664C77022E58F568AF28EDF16ECB |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/xml/cic2Xml.cmi |
| FileSize | 3123 |
| MD5 | 8EFED68EFF586C5F42AE7C7BD7AC9C00 |
| SHA-1 | 02951E2EAE04F0979F475A355185B0F2CEA6F6F0 |
| SHA-256 | 1459443DF0ABBF540FD7AAED13F5180A1A42C55297F4A5F7E25B2C931C510698 |
| SSDEEP | 96:/rVk0uHtGPXvmJiabfvqnD26bByb5OoMT8:/+baGPbfiy6ggG |
| TLSH | T182510ACADA10A92E14A7E24A8612006D10D506D5CAAF487BD3B012F5D92E9AAFA93353 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/funind/indfun_common.cmi |
| FileSize | 6446 |
| MD5 | 5085346CA7403509F6451C72368DF423 |
| SHA-1 | 0360EC04622299AA8B6A47CBA1311F82BDD3E532 |
| SHA-256 | CE91D157CDF04EE1998A6AA15D646687E2085C67A75A3B7629D220C5D32868A7 |
| SSDEEP | 192:NU7dlOrNaJKV//MPeMsV0ISS9sp9bfTrz7:sSrNawXP9AtTv7 |
| TLSH | T148D1CACD8608E4D956BDD99CD01EC05B622027BFC16B5C7B432E0DF52AA950DE322D8B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/dp/dp.cmi |
| FileSize | 2424 |
| MD5 | 5141E8FC26747B468308E223F1CE71A5 |
| SHA-1 | 037A299B23591B0EBA946AB8D170D3512A3C094A |
| SHA-256 | FEF6C7178AB4B4018869E3A74B48991DA8FB3DA9949E8997810089285F90E3E6 |
| SSDEEP | 48:UhSTFEI6VJj1SKwV0fCFwtnf74utGCVyaTbfvw60Q8nF8RPyfctF/K/TD18:AmFEI6VJ3wdahtGyTbfvPoSzc8 |
| TLSH | T10641A5CD9140989A057EF16DC626804F625146BFD13F4CB7C17C11FAA83EC6CE752A87 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/dp/g_dp.cmi |
| FileSize | 3003 |
| MD5 | CDEF637DC22589DF35497367A8E1E880 |
| SHA-1 | 045210F0996F5E11E24334C980BB0F4498796267 |
| SHA-256 | 5FA10435D14AD2560151CB5F666FB2D3FC8C6882554CB2E53F735BF3EA4100F1 |
| SSDEEP | 48:Js/X3cdw+EwtAn4fxASo4QStG2A5JssK7vSbfvOVP1nI/MR0QbnFq5YDLvJYcJFE:Js/X3cdFya0nStG2yJgabfvan0grq5Y6 |
| TLSH | T19351E8CCE441A87F14BFD01A8325409A60910EE5962F4CB7A36C13F0A92ED9DF79368B |
| 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/plugins/subtac/subtac_pretyping.cmi |
| FileSize | 3649 |
| MD5 | 73E7BDC6DEA43535D041415B43067CE3 |
| SHA-1 | 0544590415120469FE57DF09CF554AFED6866A7B |
| SHA-256 | 7D2422B672BCF1C88C8E5C709266F4D28691CFC194A111D58DABDBA0654ED54A |
| SSDEEP | 96:+NVUZuVSOoLlKJ8f0HtG/TbfvZOynDN562EBXFT8:bZuVSOosi8Wbfkyx562EBS |
| TLSH | T10271B3CC84409AEC00B2E69DD222814F11A04BFCD57F5CB7937C56F8AD2558CD362AC7 |