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 | 1241428 |
| MD5 | 09317855EE29ED27016F8C4297C793E1 |
| 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 | 0.88.3-1ubuntu4 |
| SHA-1 | 957E810648B1B8EC358843537E87D94BD8349BBF |
| SHA-256 | C49647297E88A834AE3FF522175586A80BEF051FA5A5B1EFB512E78C7ED97DA6 |