ubuntu/pool/universe/p/prover9-manual • Public Open Source Mirror

Home / ubuntu / pool / universe / p / prover9-manual

File Name

Size

Date

..

—

—
prover9-doc_0.0.200902a-2.1_all.deb

837.25KB

2021-01-06 07:40:57

prover9-doc_0.0.200902a-2_all.deb

943.98KB

2013-05-04 14:33:18

prover9-manual_0.0.200902a-2.1.debian.tar.xz

4.56KB

2021-01-06 07:40:03

prover9-manual_0.0.200902a-2.1.dsc

1.93KB

2021-01-06 07:40:03

prover9-manual_0.0.200902a-2.debian.tar.gz

4.59KB

2013-05-04 14:33:17

prover9-manual_0.0.200902a-2.dsc

1.92KB

2013-05-04 14:33:17

prover9-manual_0.0.200902a.orig.tar.gz

0.99MB

2009-04-29 16:05:55