Parents (Total: 10)
The searched file hash is included in 10 parent files which include package known and seen by metalookup. A sample is included below:
| 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 | 596776 |
| MD5 | C68E77FFB848DD86271093DEEC612CFC |
| 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 | 73A45D2B3A4229AB801C6EE6CE64B187F6392CDF |
| SHA-256 | 6E0D9124215CCB5C327DA89BDB6E346F85E4296DF2CCB6C7F8BFD8EA8F0F8FDE |
| 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 |
| Key |
Value |
| FileSize | 596192 |
| MD5 | 80935C18B790BA25F55886E854A6F8C5 |
| 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 | 9E53725A90EBE8635097A8856346E79483A90818 |
| SHA-256 | E3489527FB6936E1394BCB993973BE638E9DDA361884DE6D041464A910B560EE |
| Key |
Value |
| FileSize | 596752 |
| MD5 | 2CC691EBDE76E9981FAD0519EB236CEC |
| 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 | 9FF5B24D28999C4B0E3ACDB45216F55BFB970B78 |
| SHA-256 | 3A7C4C517F70CC2C0F66311E40060D36669E7B80CF4B1186B0C0A696FCAFD295 |
| Key |
Value |
| FileSize | 596352 |
| MD5 | C5423E3ABEABED25A07213263DD689FE |
| 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 | 325E06A204E7DA872B31A761F69B0888FFB5E106 |
| SHA-256 | 38EC61BB8F0D7EE5CB98BDBD65CE0F7AC3E05D330C39B99318662B9EB12B1007 |
| Key |
Value |
| FileSize | 602004 |
| MD5 | 70B13DA957F85CCD927EB839182D7E73 |
| 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 | DDFB6A985FFE27CA78593A7A223C0E7D191854C2 |
| SHA-256 | 089EBE2472E026E3F31E7FB20454C4CD7892B9587B1E3499F15787D524256E7F |
| Key |
Value |
| FileSize | 596300 |
| MD5 | F10D79BB2C5A74889DF474E205E3C5B3 |
| 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 | D86BF08106790B7FCF95DD37D399C92C5AD09F63 |
| SHA-256 | 634E17243BA9601E775CC477589915E52735ECE6496EE24E095B3D7AD5559506 |
| 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 | 601900 |
| MD5 | B7923836D6C625E5C1DFCDDC25931A86 |
| 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 | 56E68CFA1170A4C004C5F7862334B5D524F0BA63 |
| SHA-256 | F56257F8FABEB9F7EB04FFBE496FDEC6C79BA2B8D8D0BF17D72002CB2FAC93A5 |