Parents (Total: 4)
The searched file hash is included in 4 parent files which include package known and seen by metalookup. A sample is included below:
| Key |
Value |
| FileSize | 67960 |
| MD5 | E298A351BB74FB6329E5ACF312C01E64 |
| PackageDescription | theorem prover from Microsoft Research - development files
Z3 is a state-of-the art theorem prover from Microsoft Research. It can be
used to check the satisfiability of logical formulas over one or more
theories. Z3 offers a compelling match for software analysis and verification
tools, since several common software constructs map directly into supported
theories.
.
This package can be used to invoke Z3 via its C++ API. |
| PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | libz3-dev |
| PackageSection | libdevel |
| PackageVersion | 4.8.8-1 |
| SHA-1 | FB2070F3AC107C230E220FEFD7F37745B436145D |
| SHA-256 | 3CEFFA17F4FA771E34604FEA6362186D2A7A4AE5D206396EE1E85DC36323FF1D |
| Key |
Value |
| FileSize | 67964 |
| MD5 | 802648FB3AFFB38B63849AFB33FA1434 |
| PackageDescription | theorem prover from Microsoft Research - development files
Z3 is a state-of-the art theorem prover from Microsoft Research. It can be
used to check the satisfiability of logical formulas over one or more
theories. Z3 offers a compelling match for software analysis and verification
tools, since several common software constructs map directly into supported
theories.
.
This package can be used to invoke Z3 via its C++ API. |
| PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | libz3-dev |
| PackageSection | libdevel |
| PackageVersion | 4.8.8-1 |
| SHA-1 | F3913AC7E215E6DA8D25AD34C210F1054A1D05E3 |
| SHA-256 | 93655E0C402BEE5B8A4042FE97337972833EE55922637BC5226586C2A575E870 |
| Key |
Value |
| MD5 | DAA0B231C27EB759555FA41713C4262A |
| PackageArch | x86_64 |
| PackageDescription | Development files for the Z3 library. |
| PackageMaintainer | https://bugs.opensuse.org |
| PackageName | z3-devel |
| PackageRelease | lp152.1.2 |
| PackageVersion | 4.8.7+git.20200407 |
| SHA-1 | 0A78373C38BB94687FDD0B97AA1B03C4665ACCFB |
| SHA-256 | B7D08269CF9C55A9393F6488D4DC56737EE29CF6189BD4A2F267FD0B3BA46EB0 |
| Key |
Value |
| MD5 | A6B0B27AAA5BD3ABD287FA4E6BE7601D |
| PackageArch | x86_64 |
| PackageDescription | Development files for the Z3 library. |
| PackageMaintainer | https://bugs.opensuse.org |
| PackageName | z3-devel |
| PackageRelease | bp153.1.13 |
| PackageVersion | 4.8.7+git.20200407 |
| SHA-1 | 1D4DB1B23DFCE58CC0B6FA19E57CF59872C4A4BA |
| SHA-256 | 1B2EAC0B617510E97BF07F867A1F179D5D16074678AB937AA05098838C0F587D |