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 | 740836 |
| MD5 | 3E7C6D4F98038B17304535EF2535CC1F |
| 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 | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | why3-coq |
| PackageSection | math |
| PackageVersion | 1.3.3-1build1 |
| SHA-1 | 04AC0BD933AD806DFAD30B1A4E455A2909BDA24D |
| SHA-256 | 9C194C7AB13133A7160B77D304786B6593762FDD74A06B87C0728B32BA0A2B1F |