prover9-manual

	Name	Size	Modified
	..	—	—
	prover9-doc_0.0.200902a-2_all.deb	831 KB	Mon May 10 15:46:37 2021
	prover9-manual_0.0.200902a-2.debian.tar.xz	4 KB	Mon May 10 15:46:37 2021
	prover9-manual_0.0.200902a-2.dsc	1 KB	Mon May 10 15:46:37 2021
	prover9-manual_0.0.200902a.orig.tar.gz	1010 KB	Mon May 10 15:46:37 2021