Artifact cvc4-dbgsym_1.8-3_arm64

Metadata

deb_control_files:
- control
- md5sums
deb_fields:
  Architecture: arm64
  Auto-Built-Package: debug-symbols
  Build-Ids: 1a89e77bc3293c7a5fc8caa83b7876ce71c92764
  Depends: cvc4 (= 1.8-3)
  Description: debug symbols for cvc4
  Installed-Size: '1020'
  Maintainer: Debian Science Maintainers <debian-science-maintainers@alioth-lists.debian.net>
  Package: cvc4-dbgsym
  Priority: optional
  Section: debug
  Source: cvc4
  Version: 1.8-3
srcpkg_name: cvc4
srcpkg_version: 1.8-3

File

cvc4-dbgsym_1.8-3_arm64.deb

Binary file cvc4-dbgsym_1.8-3_arm64.deb cannot be displayed. you can view it raw or download it instead.

Relations

Relation	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