| Key | Value |
|---|---|
| FileSize | 13698080 |
| MD5 | 34350D1F8B45423921AF71300BF2DAC5 |
| 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 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.9.1-1 |
| SHA-1 | C3786C48F8FEF4B1DC85D12D0A9631088B43F2C6 |
| SHA-256 | 559BABB527E1FC34F250ADC8E42DA4C6D2CBD6AAA2DF69810A5C5DC76DB0EB8E |
| hashlookup:children-total | 937 |
| hashlookup:trust | 50 |
The searched file hash includes 937 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/clib/cSet.cmi |
| FileSize | 4572 |
| MD5 | 08B0520A67C146F952663E6C165BB421 |
| SHA-1 | 002A321D9FD5C88F2B35E9995E3352D14C2953DE |
| SHA-256 | 34B8B4285010F633B344FBDABE61379F4F18FB3257715ABE0E5158E51984B024 |
| SSDEEP | 96:DAnqpgjiUb3cGtsTZ5dNtOnSMuZ/7fjpz0TMIIylPYvbAU8:D9pglbs/TpNj/7VWPlPYsd |
| TLSH | T10F9150ED9424F05812EDACBCE25ED9D701480A7F95734C776B491E52A7BE01EC31E0AB |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/kernel/subtyping.cmx |
| FileSize | 2992 |
| MD5 | 09D41A03189C4CBF9DA8DEBEBCF474FF |
| SHA-1 | 002CD660F2DCCA1C43F7550575CCB116283EA2F8 |
| SHA-256 | 27461111923D5BD97BA097035A0E967C862FD1A9484B433D7F927351DB5AB269 |
| SSDEEP | 48:Ekebf5cMSDn6b0NzePKgSR0rFlrqKQc9IgRlChl8ZJi2s/14jyKvaAF:EkebRcME6bizePHSR0TqKQc5u8ZJiTML |
| TLSH | T1FB51D89EE779B04304DDBA72927DB06580688DF22EB3CE6E634DD54706E9DA2253310F |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/coqpp/coqpp_parse.cmi |
| FileSize | 1258 |
| MD5 | D6911BD4240A547ADF7B80C1C40C0702 |
| SHA-1 | 00EDD65D2184519666DED458162BC6ECAABABCFE |
| SHA-256 | 5585D4F09AE3D566B4C182B7BD247E2E8E9A4C312814BD6D40BE763E00F536AB |
| SSDEEP | 24:XqmwVcRtT2KZtuvpjg/xts8IQTcZi03lMqQpWbmC/kG18:No7QtKpMwNUco0VMFWb9kG18 |
| TLSH | T1EA213088E2551031E94F67FDB17A1C1B8554C8AE161BCED3A22844CA30CE65EAF9F0CF |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/pretyping/inferCumulativity.cmi |
| FileSize | 1863 |
| MD5 | 8951CFA1BEFA12659CEAA193FAC702BA |
| SHA-1 | 019E8F599153485EB380FBC3FDAAC85AF308250E |
| SHA-256 | A0ECAC699A86816426C5B76D4D93BAAAF9518BA1A0F157C295013272DC0F74D5 |
| SSDEEP | 24:ufczlXyQTlXytyW4dUEb6KkNgsxMBt+9n6bDiIlt5emjKgSKtv5kERTEirdoY/9G:NXjUkerMS9n6bjzekKgSB0rFlEKH18 |
| TLSH | T1A231F79EB681364744C2B1F313AC04A6006909E31C3BC4EEAB46274A43F8BE37B26197 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/engine/engine.cma |
| FileSize | 1727099 |
| MD5 | C3AB4D3B8E82E25B27AEC9FC8F833FCC |
| SHA-1 | 01EF398119514FE8E75C713F5756B16074693F14 |
| SHA-256 | 5BBE55D3A18312A37C72388DCFB9F4691A3D3F27CB4C50D8261C028A29079B75 |
| SSDEEP | 49152:UoNCkO2ZwJlklTkvZS94kbsGBD6NPoe3mie77DKz4f/NcxKset+jbuRH0I:5sNrejcQ |
| TLSH | T14F85084DBB689472C88818BDCCE8EE8F83109D7E66576E7B104C175588CB79E6F04B4B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/toplevel/coqargs.cmi |
| FileSize | 6086 |
| MD5 | 8BAA4F84F864E75AD8C0030A875E80F8 |
| SHA-1 | 02672DB28377853F3053CEA35DB1FAFCE5D982F2 |
| SHA-256 | 12FD7B34F501C52CBAEF8E194D4528C09A65DD9A538969DCE6401446521878CE |
| SSDEEP | 96:7xMGmjyDxu/8De9vASNLwEMwYSkMR2Vg3Rj7AMTHpFbEjdryQmrAk7W76sjDzvVp:SGmjyFuwe9ZjFdvA+LQnki76eDWKRKy |
| TLSH | T174C1E5EEEBA16412548B7CFE81A408B3412802BF4623CCB76256164775DEDAFDB2F107 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/pretyping/pretyping.cmxa |
| FileSize | 109802 |
| MD5 | 6AB5AB6A5B86EB9EEF4211F41FC8D239 |
| SHA-1 | 0272D0990ED98E1A81C0EE0C32CADFD89506CB1B |
| SHA-256 | 34B5F43763D6AB6F15FDAA24124F98805E42603A11FCDE359360FD7B5EA8128D |
| SSDEEP | 1536:zisO4z6S+7N2uHozq9HCJNspHB/Hy+ty+i4ivZD02jFFlQH+L+ntY1H7sttsIDo4:K/onuVOtFF5jLNfvH5FdTfayPcysSPrW |
| TLSH | T18AB31ABAB380F05BA5C2E0F3D0AE1464417801836637D9AE9B53234747B5F93AB3725B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/tactics/elimschemes.cmi |
| FileSize | 4086 |
| MD5 | A58AE856F370A7B89C0B3966D35FD8D7 |
| SHA-1 | 032E7B2BAE4F7EE4BDD8E480FA82C850A34102EC |
| SHA-256 | 56511A729708BBC3229A963588D529AF5602C1CD6F2BD1E02CEECB404CA455CD |
| SSDEEP | 96:ARUpjs48VPtNzAKOJi1UPPruhOrrCgkH2ngbRmXML6bWdzwqUceHS7DzZ940MKV8:iOs4DSf6Wwq1S6DQ0MKC |
| TLSH | T17F8193EC6544F0D64248F8EDD0240A9AC5A4A2BE3A33DCB7C90D02A65568A4FA3375CB |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/library/keys.cmx |
| FileSize | 5407 |
| MD5 | 32DEB86EF9B9520DBDD762FFBD099338 |
| SHA-1 | 03779BDDC19B179C60FA989E4B6F900D0425A253 |
| SHA-256 | B314280BC7C90FB6B9126EED51BB1829CB011B6A69F0416AD23890F58FEE22A8 |
| SSDEEP | 96:aMxhW6bJzorVb7HShZBXZsO1oDUSfHrEKZ50TUJkIMvaYt/8A9H1IpyeaR7GR0g:aGCb7IZzsO2DU44IWTYk/vaYtUAN1IYk |
| TLSH | T182B1503F4F03E903E4CAE57AEE1995D58D63C043AC658C76AEB10B0B70AD963751713A |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/ltac/tacexpr.cmi |
| FileSize | 20073 |
| MD5 | E6F39A714E24F81D484A78102F4A5966 |
| SHA-1 | 03E8D82853A7773F7271BE52DF3B1ED9BFD90DC2 |
| SHA-256 | A0C2A2BEF33781958244715EB6D60E851DBA5F753FF1C9F6FBE95AD04506D127 |
| SSDEEP | 384:F0ukEeCsEp2q6d9AZk6ejI8kAfGrBYqoNwzSDxPDC:F0Xd1EkoNAGrBYxNdDxPDC |
| TLSH | T1B5922D5C98A4F0B065CA647CD14EEC8F035051BF290B9CB3A39D9292A69F15FCFA3587 |