Parents (Total: 2)
The searched file hash is included in 2 parent files which include package known and seen by metalookup. A sample is included below:
| Key |
Value |
| FileSize | 66174 |
| MD5 | F6E7CE561910471FAA87FBE749E739E6 |
| PackageDescription | theorem prover from Microsoft Research - Python 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 Python API. |
| PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | python-z3 |
| PackageSection | python |
| PackageVersion | 4.4.0-5 |
| SHA-1 | 841170B3C321A7A3F25F1B5AA5852377DAF185DC |
| SHA-256 | A159A018011F81769DB82C313F8F55C9F674B4F281C5CF640E8DB68890D2DBAD |
| Key |
Value |
| CRC32 | 2322A9F9 |
| FileName | 61128 |
| FileSize | 66192 |
| MD5 | 8440DEE61ACFF043717D1FB1AFE0DFD8 |
| OpSystemCode | 362 |
| PackageDescription | theorem prover from Microsoft Research - Python 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 Python API. |
| PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | python-z3 |
| PackageSection | python |
| PackageVersion | 4.4.0-5 |
| ProductCode | 184821 |
| RDS:package_id | 184821 |
| SHA-1 | CB4D83EE871AA132D3050158C10848DAAB3FF693 |
| SHA-256 | 25E824AE58E68043C3DD97B79DF77109B52188C7E0AB802CF42C076F31F8F69D |
| SpecialCode | |
| db | nsrl_legacy |
| insert-timestamp | 1648719964.1897478 |
| source | RDS_2022.03.1_legacy.db |