Versions in amber: 0.0.200902a-2
Maintainer: Debian QA Group <packages [꩜] qa.debian.org>

Format: 3.0 (quilt)
Standards Version: 3.9.4
Architectures: all 
 
Homepage Build Jobs VCS Browser

Owned Binaries

Build Dependencies

Files

Filename	Size	Checksum (SHA256)
prover9-manual_0.0.200902a-2.dsc	2.0 kB	e825424637e9ede129f7a89a76c8a8971e96886fad39ce1186cedeeb69c2f857
prover9-manual_0.0.200902a.orig.tar.gz	1.0 MB	8d049695b3927743e90bf5ed6db3282e7a8a05de6e95dcc1d5792ce763e793a5
prover9-manual_0.0.200902a-2.debian.tar.gz	4.7 kB	c8da5e0cff1666068314e3cbf29850d72350207abf9393813494bee29d7722f4