Parents (Total: 26)
The searched file hash is included in 26 parent files which include package known and seen by metalookup. A sample is included below:
| Key |
Value |
| FileSize | 450964 |
| MD5 | 1E58A3333C02BA48513EF471788F4A56 |
| PackageDescription | theorem prover from Microsoft Research - OCaml bindings
Z3 is a state-of-the art theorem prover from Microsoft Research. See the z3
package for a detailed description.
.
This package can be used to invoke Z3 via its OCaml API. |
| PackageMaintainer | LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org> |
| PackageName | libz3-ocaml-dev |
| PackageSection | ocaml |
| PackageVersion | 4.4.1-1~deb9u1 |
| SHA-1 | 0AE4C46F601117EE7DAECFFEAD8AAFC0E6D01EF0 |
| SHA-256 | D982D744BEB7D1803F38F106F1E30C1ACBBCC3119C8489F7ECB5B68874E2DF21 |
| Key |
Value |
| FileSize | 470756 |
| MD5 | 46E312720B848B702B126AE84085895B |
| PackageDescription | theorem prover from Microsoft Research - OCaml bindings
Z3 is a state-of-the art theorem prover from Microsoft Research. See the z3
package for a detailed description.
.
This package can be used to invoke Z3 via its OCaml API. |
| PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | libz3-ocaml-dev |
| PackageSection | ocaml |
| PackageVersion | 4.4.1-0.3build4 |
| SHA-1 | 1652B3709492CA74B7D8EC0921D05DF44F157C38 |
| SHA-256 | DDF958EF595760F6C9373FE2FC916C718E1964F7A0158FD19AE00F995F798542 |
| Key |
Value |
| FileSize | 366524 |
| MD5 | 29F97D72CFB3C55037A5BDA040EA7E05 |
| PackageDescription | theorem prover from Microsoft Research - OCaml bindings
Z3 is a state-of-the art theorem prover from Microsoft Research. See the z3
package for a detailed description.
.
This package can be used to invoke Z3 via its OCaml API. |
| PackageMaintainer | LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org> |
| PackageName | libz3-ocaml-dev |
| PackageSection | ocaml |
| PackageVersion | 4.4.1-1~deb10u1 |
| SHA-1 | 1CC9020D0D4B44199A673C26246C980034596479 |
| SHA-256 | C7C234FE3BF9DF190294FC4218359C2F5BA7D8528426B4E319BC80D383573CE3 |
| Key |
Value |
| FileSize | 538664 |
| MD5 | D51BCA06106130E07406C744171E95AD |
| PackageDescription | theorem prover from Microsoft Research - OCaml bindings
Z3 is a state-of-the art theorem prover from Microsoft Research. See the z3
package for a detailed description.
.
This package can be used to invoke Z3 via its OCaml API. |
| PackageMaintainer | LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org> |
| PackageName | libz3-ocaml-dev |
| PackageSection | ocaml |
| PackageVersion | 4.4.1-1~deb10u1 |
| SHA-1 | 22FC6AB5109808E48A5B634029137AA0CFB1F448 |
| SHA-256 | C4C89F8334E847604B882FF39AB856CF0D2F61F1D746C6A6762B8B3E507C0B1F |
| Key |
Value |
| CRC32 | 35762DFF |
| FileName | 61127 |
| FileSize | 454228 |
| MD5 | 082E389D9F2B6181065C5C9C2CF4B914 |
| OpSystemCode | 362 |
| PackageDescription | theorem prover from Microsoft Research - OCaml bindings
Z3 is a state-of-the art theorem prover from Microsoft Research. See the z3
package for a detailed description.
.
This package can be used to invoke Z3 via its OCaml API. |
| PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | libz3-ocaml-dev |
| PackageSection | libdevel |
| PackageVersion | 4.4.0-5 |
| ProductCode | 184821 |
| RDS:package_id | 184821 |
| SHA-1 | 2F5C4123407FC1E47E60F6459976C0B65E0E3518 |
| SHA-256 | AC1617AFA50E089B497EF9D9E4BEDAA3B590B65EA2C08F4D07EF1F6BE2DDC31E |
| SpecialCode | |
| db | nsrl_legacy |
| insert-timestamp | 1648755885.7431343 |
| source | RDS_2022.03.1_legacy.db |
| Key |
Value |
| FileSize | 309418 |
| MD5 | 503076469B413A2351EEEDB25FBE71DD |
| PackageDescription | theorem prover from Microsoft Research - OCaml bindings
Z3 is a state-of-the art theorem prover from Microsoft Research. See the z3
package for a detailed description.
.
This package can be used to invoke Z3 via its OCaml API. |
| PackageMaintainer | LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org> |
| PackageName | libz3-ocaml-dev |
| PackageSection | ocaml |
| PackageVersion | 4.4.1-1~deb9u1 |
| SHA-1 | 35DF5DEEDCA54E4A7819B62872455B0CF5C94D5B |
| SHA-256 | 8D20F6A6F805314D49399B3CA762325C3BFE76F6B786C5643DDC9B4B9368718B |
| Key |
Value |
| FileSize | 318716 |
| MD5 | E16ABC305EEFFC080EEBAA4DADA99117 |
| PackageDescription | theorem prover from Microsoft Research - OCaml bindings
Z3 is a state-of-the art theorem prover from Microsoft Research. See the z3
package for a detailed description.
.
This package can be used to invoke Z3 via its OCaml API. |
| PackageMaintainer | LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org> |
| PackageName | libz3-ocaml-dev |
| PackageSection | ocaml |
| PackageVersion | 4.4.1-1~deb9u1 |
| SHA-1 | 3B20A5C264B05B2957C75C4453520BD48309DEB7 |
| SHA-256 | ED557AC2A3ED61D0B9AA62141368D294F7BE5A6015D892FDD67DE717E555553B |
| Key |
Value |
| FileSize | 462898 |
| MD5 | 2D13DE6665C44833AFE663FEE012C1C0 |
| PackageDescription | theorem prover from Microsoft Research - OCaml bindings
Z3 is a state-of-the art theorem prover from Microsoft Research. See the z3
package for a detailed description.
.
This package can be used to invoke Z3 via its OCaml API. |
| PackageMaintainer | LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org> |
| PackageName | libz3-ocaml-dev |
| PackageSection | ocaml |
| PackageVersion | 4.4.1-1~deb9u1 |
| SHA-1 | 546096E75C17AF407E95FDFB32F566149705D5B4 |
| SHA-256 | F2ACDE238CE9C85F712A836133EDBD6BFE04B3011D63750CE1A5E3473E9B967F |
| Key |
Value |
| FileSize | 425278 |
| MD5 | ADD8F02935A88D83C3419F8D30CF08BE |
| PackageDescription | theorem prover from Microsoft Research - OCaml bindings
Z3 is a state-of-the art theorem prover from Microsoft Research. See the z3
package for a detailed description.
.
This package can be used to invoke Z3 via its OCaml API. |
| PackageMaintainer | LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org> |
| PackageName | libz3-ocaml-dev |
| PackageSection | ocaml |
| PackageVersion | 4.4.1-1~deb9u1 |
| SHA-1 | 55D47BCF17A19132AFE6B8F26294287C67C605B0 |
| SHA-256 | ABCA61FDEE04E7282F92886D1B7049B361C30B4FF61B3721CBC498C897C72C44 |
| Key |
Value |
| FileSize | 346984 |
| MD5 | B16BBCB18560B4405B32ADE2ED75266C |
| PackageDescription | theorem prover from Microsoft Research - OCaml bindings
Z3 is a state-of-the art theorem prover from Microsoft Research. See the z3
package for a detailed description.
.
This package can be used to invoke Z3 via its OCaml API. |
| PackageMaintainer | LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org> |
| PackageName | libz3-ocaml-dev |
| PackageSection | ocaml |
| PackageVersion | 4.4.1-1~deb10u1 |
| SHA-1 | 5E30C70242F4FEBB82F747D0D938476CB0EE26D6 |
| SHA-256 | 42FC02D335C8BD1EAE30B1EDD152F3E7ED0215C1024065111097668EBF532A17 |