|
📁 ../
|
- |
- |
|
📄 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 |