architecture: arm64
packages:
- libz3-4-dbgsym
- libz3-4
- libz3-dev
- libz3-java
- libz3-jni-dbgsym
- libz3-jni
- python3-z3
- z3-dbgsym
- z3
srcpkg_name: z3
srcpkg_version: 4.13.3-1
version: 4.13.3-1
| Name | Size (bytes) | |
|---|---|---|
| libz3-4_4.13.3-1_arm64.deb | 7.2 MB | |
| libz3-4-dbgsym_4.13.3-1_arm64.deb | 163.8 MB | |
| libz3-dev_4.13.3-1_arm64.deb | 104.0 KB | |
| libz3-java_4.13.3-1_arm64.deb | 177.9 KB | |
| libz3-jni_4.13.3-1_arm64.deb | 34.6 KB | |
| libz3-jni-dbgsym_4.13.3-1_arm64.deb | 179.6 KB | |
| python3-z3_4.13.3-1_arm64.deb | 81.5 KB | |
| z3_4.13.3-1_arm64.deb | 7.2 MB | |
| z3-dbgsym_4.13.3-1_arm64.deb | 165.6 MB |
| Relation | Direction | Type | Name | |
|---|---|---|---|---|
| built-using | Source package | z3_4.13.3-1 |
|
|
| built-using | Binary package | dpkg-dbgsym_1.22.12~1.gbp82cafd_arm64 |
|
|
| built-using | Binary package | dpkg_1.22.12~1.gbp82cafd_arm64 |
|
|
| built-using | Binary package | dselect-dbgsym_1.22.12~1.gbp82cafd_arm64 |
|
|
| built-using | Binary package | dselect_1.22.12~1.gbp82cafd_arm64 |
|
|
| built-using | Binary package | libdpkg-dev_1.22.12~1.gbp82cafd_arm64 |
|
|
| built-using | Binary package | dpkg-dev_1.22.12~1.gbp82cafd_all |
|
|
| built-using | Binary package | libdpkg-perl_1.22.12~1.gbp82cafd_all |
|
|
| extends | Package upload | z3_4.13.3-1 |
|