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 | 296720 |
MD5 | 90AE099315D8D8E404D5EF19182771E0 |
PackageDescription | HTML Documentation of the why3 verification platform
This package contains the tutorial and reference manual of the
why3 verification platform in HTML format. |
PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
PackageName | why3-doc-html |
PackageSection | math |
PackageVersion | 1.2.1-6 |
SHA-1 | 202F5F7F94AC1B1D76823AF67E8DC8F7714952B4 |
SHA-256 | 46404137E01B74EF455C883E966E4B0A839C50194BCE39A8B38D3644FF36D196 |
Key |
Value |
FileSize | 362080 |
MD5 | 1D1BE699FECEEE601A6F43A63C377D81 |
PackageDescription | HTML Documentation of the why3 verification platform
This package contains the tutorial and reference manual of the
why3 verification platform in HTML format. |
PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
PackageName | why3-doc-html |
PackageSection | math |
PackageVersion | 1.2.0-1 |
SHA-1 | 052A7D0328D48237D99EB668B24C6469BF51080F |
SHA-256 | B99AFD268EFF194BDB1E4C955F3589085A3E24E7E4A99097635A6DBEC149AFBD |