Parents (Total: 4)
The searched file hash is included in 4 parent files which include package known and seen by metalookup. A sample is included below:
| Key |
Value |
| FileSize | 11283240 |
| MD5 | 99D4B5AEA59EED04D489D484858BED7D |
| 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 | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | libcoq-ocaml-dev |
| PackageSection | ocaml |
| PackageVersion | 8.12.0-3+b3 |
| SHA-1 | 17E578D6108D759CCB22FBA7F5B075FC7D1D4821 |
| SHA-256 | 09D60148A5C9A72B6829D319A6D6EEAB88BD9B048FDEC3C8CCD3729DBDCBF33D |
| Key |
Value |
| FileSize | 11282876 |
| MD5 | B43A887F73F35B9D058C93AB9564FE38 |
| 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 | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | libcoq-ocaml-dev |
| PackageSection | ocaml |
| PackageVersion | 8.12.0-3+b2 |
| SHA-1 | 878CA3463ABB5854F8B2D4117A67DEAAEC12B16A |
| SHA-256 | 5A8F4136B59AE1C81B333306ADA50D7191C59286EE1C14D626B6AD45D93D9EE0 |
| Key |
Value |
| FileSize | 11277904 |
| MD5 | 56B639DC847BCA5F2351B9F1DE950969 |
| 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 | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | libcoq-ocaml-dev |
| PackageSection | ocaml |
| PackageVersion | 8.12.0-3+b3 |
| SHA-1 | 7D6E8DD36734195E9B74DE904FEC42D97C3B40B1 |
| SHA-256 | 7C09660F29873C7AACEE9F7F3E2E3EA000D2EC381D92FD15D0A927792560C5AD |
| Key |
Value |
| FileSize | 11282888 |
| MD5 | EB69E22A946622AEA8EC1561EF8A3CC5 |
| 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 | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | libcoq-ocaml-dev |
| PackageSection | ocaml |
| PackageVersion | 8.12.0-3+b3 |
| SHA-1 | 11AB4FBCD84C8B49543DB58F15B451E1C9FCFF0D |
| SHA-256 | 1ECED9DBE7E4179D8489DF6527377CCB08BDFC2B1B5A3DCD7D1A65666E95FA9A |