architecture: arm64
packages:
- cvc4-dbgsym
- cvc4
- libcvc4-7-dbgsym
- libcvc4-7
- libcvc4-dev
- libcvc4parser7-dbgsym
- libcvc4parser7
srcpkg_name: cvc4
srcpkg_version: 1.8-3
version: 1.8-3
| Name | Size (bytes) | |
|---|---|---|
| cvc4_1.8-3_arm64.deb | 74.1 KB | |
| cvc4-dbgsym_1.8-3_arm64.deb | 978.6 KB | |
| libcvc4-7_1.8-3_arm64.deb | 5.3 MB | |
| libcvc4-7-dbgsym_1.8-3_arm64.deb | 191.1 MB | |
| libcvc4-dev_1.8-3_arm64.deb | 128.1 KB | |
| libcvc4parser7_1.8-3_arm64.deb | 325.9 KB | |
| libcvc4parser7-dbgsym_1.8-3_arm64.deb | 5.0 MB |
| Relation | Direction | Type | Name | |
|---|---|---|---|---|
| built-using | Source package | cvc4_1.8-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 | cvc4_1.8-3 |
|