Artifact prover9-manual_0.0.200902a-2.1

Metadata
architecture: all
packages:
- prover9-doc
srcpkg_name: prover9-manual
srcpkg_version: 0.0.200902a-2.1
version: 0.0.200902a-2.1

File

prover9-doc_0.0.200902a-2.1_all.deb
Binary file prover9-doc_0.0.200902a-2.1_all.deb cannot be displayed. you can view it raw or download it instead.

Relations

Relation Direction Type Name
built-using Source package prover9-manual_0.0.200902a-2.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 prover9-manual_0.0.200902a-2.1

binary packages System build a package - 1 month ago 5 days, 22 hours
BETA