Source package p9m4/0.5.dfsg-3 in amber @ pureos

p9m4 - 0.5.dfsg-3 main

Versions in amber: 0.5.dfsg-3
Maintainer: Debian QA Group <packages [꩜] qa.debian.org>

Format: 3.0 (quilt)
Standards Version: 3.9.6
Architectures: all

Homepage Build Jobs

Owned Binaries

prover9-mace4 all

Build Dependencies

cdbs
debhelper (>= 9)
python
dh-python

Files

Filename	Size	Checksum (SHA256)
p9m4_0.5.dfsg-3.dsc	1.7 kB	`7e3b8b4e57d6c1af5b75c8919f6dff4455e4f5a80e463e64c90d2341bab98366`
p9m4_0.5.dfsg.orig.tar.gz	88.7 kB	`c7394d338ffd4ed3e52d3af062dfe0c82777bf28016c3bfa91573de31e62900a`
p9m4_0.5.dfsg-3.debian.tar.xz	8.8 kB	`960ffc3c8c0196f1149f402ba0de016e50fdf70aeb74d5a0ee72409a7052139b`