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 |