Parents (Total: 3)
The searched file hash is included in 3 parent files which include package known and seen by metalookup. A sample is included below:
| Key |
Value |
| FileSize | 5395904 |
| MD5 | 0747141F8DE4B132496D765C9E42439C |
| PackageDescription | OCaml librariries for why3 (dev)
This package contains the libraries of the why3 verification platform
for developing applications using why3. |
| PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | libwhy3-ocaml-dev |
| PackageSection | ocaml |
| PackageVersion | 1.3.3-1+b4 |
| SHA-1 | F3CEF330EE1B323207EFC4A7915D83613002809B |
| SHA-256 | 4907FBFFE3A853FF52687DA78E0F62D627DEBA8886D45EEB0D96EED6CE92682F |
| Key |
Value |
| FileSize | 5396144 |
| MD5 | D83A367C023019FB7FFA07C20D43439E |
| PackageDescription | OCaml librariries for why3 (dev)
This package contains the libraries of the why3 verification platform
for developing applications using why3. |
| PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | libwhy3-ocaml-dev |
| PackageSection | ocaml |
| PackageVersion | 1.3.3-1+b4 |
| SHA-1 | E766FC44CF1937BAD6FE4F6F2B5FB92BF2BD6F71 |
| SHA-256 | 5B3D163840E49ABD8337CE15AD94BF9314F3E3817FEB9E100784EF8C08F91DAD |
| Key |
Value |
| FileSize | 5395852 |
| MD5 | C5C9E0EB73F0F3CC32DC4F252E70488E |
| PackageDescription | OCaml librariries for why3 (dev)
This package contains the libraries of the why3 verification platform
for developing applications using why3. |
| PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | libwhy3-ocaml-dev |
| PackageSection | ocaml |
| PackageVersion | 1.3.3-1+b4 |
| SHA-1 | 09F850A1FEC00A3E73FCB501AD07BB7C4D839001 |
| SHA-256 | E43F146B4155FC1C00F20BA5356B50971B4ACDA8A57E3F38BF7B336A687E5561 |