Parents (Total: 2)
The searched file hash is included in 2 parent files which include package known and seen by metalookup. A sample is included below:
| Key |
Value |
| FileSize | 5138884 |
| MD5 | 2177DB3CA6A5E5C9292CCA72A74F9B4F |
| 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, as well as the why3 tactic for coq. |
| PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | why3-coq |
| PackageSection | math |
| PackageVersion | 0.87.3-2+b1 |
| SHA-1 | 8EF84B551C6CA03FF58BC1C92CF206F75D213098 |
| SHA-256 | 9704595BDA28C9F6A371D8D48F86D2ABBCD5CCBCAEEC8BD1E4C05036745D1C41 |
| Key |
Value |
| FileSize | 5182312 |
| MD5 | E5D7DB3BE37274DFDA2A842F95D9200B |
| 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, as well as the why3 tactic for coq. |
| PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | why3-coq |
| PackageSection | math |
| PackageVersion | 0.87.3-2+b1 |
| SHA-1 | 71F87FD0787BF155FE78D0C6FF99C0C776A68F9B |
| SHA-256 | 0BA40A89E620999D2FF45E87CB44B740FC5F25272843F779812962AB88A16778 |