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 | 756832 |
| MD5 | 8A9FE305D7A146FC4E07E44DC9317954 |
| 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 | 3218ADE334712334879BE6534C53AD81756F0A75 |
| SHA-256 | 2B3854CC0BFC6A16D966B6855CC7DA20C17D4CFCAAC06DC27B016DC21C2A9746 |
| Key |
Value |
| FileSize | 756948 |
| MD5 | 99D6800455AA87AF6C2DF0E2B78A996D |
| 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 | C485C75BB92A91B89C3D3E400E01304659348F93 |
| SHA-256 | 8FE08D0B135915B3F6F8ED85E984BA2C2922A6C513636505E6B4387DFBF336BF |