architecture: arm64
packages:
- boolector-dbgsym
- boolector
srcpkg_name: boolector
srcpkg_version: 1.5.118.6b56be4.121013-1.3
version: 1.5.118.6b56be4.121013-1.3
| Name | Size (bytes) | |
|---|---|---|
| boolector_1.5.118.6b56be4.121013-1.3_arm64.deb | 265.3 KB | |
| boolector-dbgsym_1.5.118.6b56be4.121013-1.3_arm64.deb | 12.0 KB |
| Relation | Direction | Type | Name | |
|---|---|---|---|---|
| built-using | Source package | boolector_1.5.118.6b56be4.121013-1.3 |
|
|
| 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 | boolector_1.5.118.6b56be4.121013-1.3 |
|