Parents (Total: 3)
The searched file hash is included in 3 parent files which include package known and seen by metalookup. A sample is included below:
| Key |
Value |
| FileSize | 595500 |
| MD5 | 6BEF77BFFFC7802E2F099AABFE5437A7 |
| PackageDescription | Coq support for the why3 verification platform
This package contains the compiled coq files that are necessary to
use the coq proof assistant together with the why3 deductive
verification platform. |
| PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | why3-coq |
| PackageSection | math |
| PackageVersion | 1.2.0-1 |
| SHA-1 | A390BE20FBAE58934FD82B394831E3080BDC7A27 |
| SHA-256 | F09FAC2A1DB64F85D22CEEDB36FAED7872F3B907C8E197374E771D374EBB2A37 |
| Key |
Value |
| FileSize | 595488 |
| MD5 | 865D10BB137ECE3ED75792B7613C56CD |
| PackageDescription | Coq support for the why3 verification platform
This package contains the compiled coq files that are necessary to
use the coq proof assistant together with the why3 deductive
verification platform. |
| PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | why3-coq |
| PackageSection | math |
| PackageVersion | 1.2.0-1 |
| SHA-1 | 23BA8FBF7772312867D72C5598F1FA3AD231D789 |
| SHA-256 | 5F99BE83C27E67535E63F41F3782FCFEDDBF5C892EBC30BFC48754A0C6A4D4F7 |
| Key |
Value |
| FileSize | 595344 |
| MD5 | E9B41CCEBFB4C11CB0DDB89C8A835425 |
| PackageDescription | Coq support for the why3 verification platform
This package contains the compiled coq files that are necessary to
use the coq proof assistant together with the why3 deductive
verification platform. |
| PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | why3-coq |
| PackageSection | math |
| PackageVersion | 1.2.0-1 |
| SHA-1 | 8A686C21D889B899F34ECA9B538F1A5EA0119DB1 |
| SHA-256 | 20B77ADD1440F773D5C2FB5AAA2A2279FB507BAB4AC05D4AC3A6CA3D679A721A |