Index of /loongnix/20/pool/main/p/prover9-manual/

../
prover9-doc_0.0.200902a-3_all.deb                  21-Feb-2023 12:23              851744
prover9-manual_0.0.200902a-3.debian.tar.xz         21-Mar-2023 15:39                4628
prover9-manual_0.0.200902a-3.dsc                   21-Mar-2023 15:39                1089
prover9-manual_0.0.200902a.orig.tar.gz             21-Mar-2023 15:39             1034444