Versions in crimson: 0.0.200902a-2.1
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.orig.tar.gz	1.0 MB	8d049695b3927743e90bf5ed6db3282e7a8a05de6e95dcc1d5792ce763e793a5
prover9-manual_0.0.200902a-2.1.dsc	2.0 kB	3555a9e207b0818b0c17aa45c025cffe1d736064c81e907b9b43a6c33e01f356
prover9-manual_0.0.200902a-2.1.debian.tar.xz	4.7 kB	f691a8754fe1e6262ab8287df0ec404f9da30a6967019720c9a7b04cf883c4b9