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 | 1261696 |
| MD5 | A2CAE537909DAE80F8D5A6DC626DF32E |
| PackageDescription | PDF Documentation of the why3 verification platform
This package contains the tutorial and reference manual of the
why3 verification platform in PDF format. |
| PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | why3-doc-pdf |
| PackageSection | math |
| PackageVersion | 1.2.1-6 |
| SHA-1 | FF2A572E8F7E7D443BCE16F46CB0232DE7B166C2 |
| SHA-256 | 28044BBD301842F6899454F9D79FEE3CEAE74E6F998BDA5B9DDBFA3163B57E7E |