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 | 757328 |
| MD5 | B8E2CF3A3CA6CFE0956B85078A4210E4 |
| 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.3.3-1+b4 |
| SHA-1 | 5A06D08831C36D8C7CAF7FB06A471D9C8987ECF1 |
| SHA-256 | 703AACC0399D36D58F5DA173B70C6108D5642D55EC55228DA20728A42239BEAC |
| Key |
Value |
| FileSize | 757256 |
| MD5 | DC043813F3334966C35519B94ADDB24A |
| 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.3.3-1+b5 |
| SHA-1 | 53BD758F7B869AF6C011BCC99769C0F558D8BBF6 |
| SHA-256 | CA5554EB953714E8680CEC74AE451E3558D1F7587F8A5F1892CC4011A437CFFE |