Index of /ubuntu/pool/universe/p/proofgeneral
Name
Last modified
Size
Description
Parent Directory
-
proofgeneral_3.7.ori..>
2008-05-03 12:19
1.9M
proofgeneral_3.7-4.d..>
2010-10-15 22:09
24K
proofgeneral_3.7-4.dsc
2010-10-15 22:09
1.7K
proofgeneral-coq_3.7..>
2010-10-17 23:05
71K
proofgeneral-doc_3.7..>
2010-10-17 23:05
88K
proofgeneral-minlog_..>
2010-10-17 23:05
20K
proofgeneral-misc_3...>
2010-10-17 23:05
139K
proofgeneral_3.7-4_a..>
2010-10-17 23:05
474K
proofgeneral_4.3~pre..>
2013-05-19 01:33
1.0M
proofgeneral_4.3~pre..>
2014-02-28 20:38
19K
proofgeneral_4.3~pre..>
2014-02-28 20:38
2.0K
proofgeneral-doc_4.3..>
2014-02-28 20:38
642K
proofgeneral_4.3~pre..>
2014-02-28 20:38
353K
proofgeneral_4.3~pre..>
2014-10-25 20:32
11M
proofgeneral_4.3~pre..>
2014-11-17 07:33
19K
proofgeneral_4.3~pre..>
2014-11-17 07:33
1.9K
proofgeneral-doc_4.3..>
2014-11-17 07:34
665K
proofgeneral_4.3~pre..>
2014-11-17 07:34
356K
proofgeneral_4.4.1~p..>
2017-01-17 13:13
19K
proofgeneral_4.4.1~p..>
2017-01-17 13:13
1.9K
proofgeneral_4.4.1~p..>
2017-01-17 13:13
8.9M
proofgeneral-doc_4.4..>
2017-01-17 13:23
656K
proofgeneral_4.4.1~p..>
2017-01-17 13:23
530K