| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/ide/ideproof.cmi |
| FileSize | 2340 |
| MD5 | 7D5F11399738247B83D3EA5421E34AB8 |
| SHA-1 | 0114454489E51CE4C7C7C0982302978DB28EC6F8 |
| SHA-256 | 0BF4222C330A8A0B06CE868E6EA53956BB30FCDD106CABC746C464E49B3DA17E |
| SSDEEP | 48:HqV64ovpA2vyAA5vR5/3fdatapouKNLlVczo+qZAov918:HqVypjqH3fdkaGuKNLlVcHqA28 |
| TLSH | T11A41A7CC15A198A6949EA06C42359E07309992FECCBF0E7F0A45A5A0906689FE7168CB |
| hashlookup:parent-total | 12 |
| hashlookup:trust | 100 |
The searched file hash is included in 12 parent files which include package known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileSize | 1248656 |
| MD5 | E1C1645497605421782B74B7BBC43B00 |
| 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.4pl4dfsg-1 |
| SHA-1 | 5B987B5E91BAADF8750CE374BD5A04D72A72C677 |
| SHA-256 | 96D0E80ABAEBE9F39EAB2563026DB082955534C283E173B9BE6312DA09FD237A |
| Key | Value |
|---|---|
| FileSize | 1249118 |
| MD5 | 91D9E844655C8788DC5D384321FF5CBE |
| 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.4pl4dfsg-1 |
| SHA-1 | 450F318668330B796DF9411F6CCC3A6FCA7C9622 |
| SHA-256 | C37F033B86967D87E7557A116DA0127B0573E2AD456D249552EC618DD40B0BCD |
| Key | Value |
|---|---|
| FileSize | 3773636 |
| MD5 | CB1738D39E6F7E22FCF015ECF8B953AF |
| 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 | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | libcoq-ocaml-dev |
| PackageSection | ocaml |
| PackageVersion | 8.4pl4dfsg-1 |
| SHA-1 | 9B913623AF00BB7EC015C091EF39B83A722BA9A4 |
| SHA-256 | 7E11543AF089CD4B7477ED968E16C9E75ED568BF7A8DA7CAF795FDDE35B32034 |
| Key | Value |
|---|---|
| FileSize | 4119678 |
| MD5 | DCDDAFBE1E8DBACA51472EBEE069C8AA |
| 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 | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | libcoq-ocaml-dev |
| PackageSection | ocaml |
| PackageVersion | 8.4pl4dfsg-1 |
| SHA-1 | 5EEF94038223F715A921B97D4E30BDDC3CF8C403 |
| SHA-256 | 094DE57541732D1F8A16BFBD4F351336BEE9AEA68EF8A5F35CC32F63E4936659 |
| Key | Value |
|---|---|
| FileSize | 3530594 |
| MD5 | 54C9991CE6970B32C6DC7531BF0C8158 |
| 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.4pl4dfsg-1 |
| SHA-1 | 3849D3B7EA8F5882F9EDD707FCFD75F87EAF8266 |
| SHA-256 | 2F970D4BDE6AA49F99ACBD2F7656712CBD54FA2990B1927A9266683F31A75BF9 |
| Key | Value |
|---|---|
| FileSize | 3708326 |
| MD5 | C02BE774E44BB739B17A333DFCBC0C0E |
| 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.4pl4dfsg-1 |
| SHA-1 | 7AC6BE5253D35550CC121AFB338E478CB9AE89D1 |
| SHA-256 | DDD92C407C8012DAE7CF1ABF17BB6786FB1712A257D3DF4BCF88ABDACE4C3DF3 |
| Key | Value |
|---|---|
| FileSize | 3780318 |
| MD5 | C017FF21BDEBC69D5175E542B26ECE18 |
| 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 | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | libcoq-ocaml-dev |
| PackageSection | ocaml |
| PackageVersion | 8.4pl4dfsg-1 |
| SHA-1 | 7E4401BFA532255E1FD2EA69F0D054A77E9B20F6 |
| SHA-256 | 2E1A4769004C2DCB0B21F8B21BCEBD932323B35F1AB7584CD730894C3D937CE9 |
| Key | Value |
|---|---|
| FileSize | 4016816 |
| MD5 | 59001170D4B8D5DE9F6AC8E13AB5E6E2 |
| 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 | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | libcoq-ocaml-dev |
| PackageSection | ocaml |
| PackageVersion | 8.4pl4dfsg-1 |
| SHA-1 | EFD8A9B039E3906ACAC47A7D774E011C0A616D68 |
| SHA-256 | 95F6CF4C8C2EF103641F78B949DDCFFA771FF2A3D10DEABACAE45A9047B6F257 |
| Key | Value |
|---|---|
| FileSize | 3987246 |
| MD5 | 8690291D09A0A00B2507D0D967902A4F |
| 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.4pl4dfsg-1 |
| SHA-1 | 9FCE96A51F9B812015769D15F7D57246CBECD186 |
| SHA-256 | 278F08683275D4B90AADDFBC3B7062D0CF3A0EB734AB8D4B9B2FE83FD94FCC3A |
| Key | Value |
|---|---|
| FileSize | 3664528 |
| MD5 | DC20D02973FC6B9A7372C8BB11ED2554 |
| 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.4pl3dfsg-1 |
| SHA-1 | A5E82B4971FA520579DD81176373BAFC901F89E7 |
| SHA-256 | 018E52AB017D1504BF38862F309821D9565FEF110417D959ABCD439474D2853A |
| Key | Value |
|---|---|
| FileSize | 3649360 |
| MD5 | F10263462FDBF1B74F3FC60301652DF6 |
| 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.4pl3dfsg-1 |
| SHA-1 | E8FDBB268F80E62FEEA44363AA23969B51EE6BEA |
| SHA-256 | 578C9A7B0FC7543CF3A1BCFDF0FB672DD01682AFA21B10FEF7DD1A34413B7202 |
| Key | Value |
|---|---|
| FileSize | 3723144 |
| MD5 | 9101EE4F916A480B476D07B9F8FB30C9 |
| 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.4pl4dfsg-1 |
| SHA-1 | D338818CFADC94BF2662182573FD518A292CFCBC |
| SHA-256 | E67A79FBE38F15AE84902B4DB60C6E46D7A8757A97A29D367D5CD69C6E775B84 |