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 | 1041216 |
MD5 | 17D2153F5A3D52A173F2DF9E9D38FC23 |
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.3.3-1build1 |
SHA-1 | 062F137C7163DF2D37CCF914994FC8E735E0C302 |
SHA-256 | D453AD03DAF4069902CFA3C03AEFB70E69CA044F2BC1D0881AA62F9C5DCE5923 |