Index of /ubuntu/pool/universe/p/prover9-manual/

Name Size Date
📁 ../ - -
📄 prover9-doc_0.0.200902a-2.1_all.deb 857340 bytes 2021-01-06 08:40:57
📄 prover9-doc_0.0.200902a-2_all.deb 966634 bytes 2013-05-04 15:33:18
📄 prover9-manual_0.0.200902a-2.1.debian.tar.xz 4668 bytes 2021-01-06 08:40:03
📄 prover9-manual_0.0.200902a-2.1.dsc 1980 bytes 2021-01-06 08:40:03
📄 prover9-manual_0.0.200902a-2.debian.tar.gz 4703 bytes 2013-05-04 15:33:17
📄 prover9-manual_0.0.200902a-2.dsc 1968 bytes 2013-05-04 15:33:17
📄 prover9-manual_0.0.200902a.orig.tar.gz 1034444 bytes 2009-04-29 17:05:55