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 | 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 | 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 | 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 |