Parents (Total: 1)
The searched file hash is included in 1 parent files which include package known and seen by metalookup. A sample is included below:
| Key |
Value |
| FileSize | 1780624 |
| MD5 | E023858A6E9ADC72FA0B9E5AA7B76432 |
| PackageDescription | runtime libraries 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 runtime libraries for Coq. |
| PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | libcoq-ocaml |
| PackageSection | ocaml |
| PackageVersion | 8.3.pl2+dfsg-1build1 |
| SHA-1 | 4291D49A2DB69B11DE011B98DAA3A7C0D459C6C2 |
| SHA-256 | F28A0B43869F730C5E0A20F33F0413C4F40D64DD761A32BA4DF2113872F921AD |