Index of /ubuntu/ubuntu/pool/universe/p/proofgeneral
Name
Last modified
Size
Description
Parent Directory
-
proofgeneral-coq_3.7..>
2009-11-08 03:04
71K
proofgeneral-coq_3.7..>
2010-10-17 23:05
71K
proofgeneral-doc_3.7..>
2009-11-08 03:04
88K
proofgeneral-doc_3.7..>
2010-10-17 23:05
88K
proofgeneral-doc_4.2..>
2012-06-11 01:34
650K
proofgeneral-doc_4.2..>
2012-12-07 01:33
651K
proofgeneral-doc_4.3..>
2014-02-28 20:38
642K
proofgeneral-doc_4.3..>
2013-05-19 02:03
660K
proofgeneral-doc_4.3..>
2014-10-26 16:17
665K
proofgeneral-doc_4.3..>
2014-11-17 07:34
665K
proofgeneral-doc_4.4..>
2017-01-01 07:18
656K
proofgeneral-doc_4.4..>
2019-07-26 01:28
655K
proofgeneral-doc_4.4..>
2019-10-02 05:53
655K
proofgeneral-doc_4.4..>
2019-07-25 21:01
655K
proofgeneral-doc_4.4..>
2019-12-20 02:28
655K
proofgeneral-doc_4.4..>
2017-01-17 13:23
656K
proofgeneral-doc_4.5..>
2023-08-18 01:49
667K
proofgeneral-minlog_..>
2009-11-08 03:04
20K
proofgeneral-minlog_..>
2010-10-17 23:05
20K
proofgeneral-misc_3...>
2009-11-08 03:04
139K
proofgeneral-misc_3...>
2010-10-17 23:05
139K
proofgeneral_3.7-3.1..>
2009-11-06 18:04
23K
proofgeneral_3.7-3.1..>
2009-11-06 18:04
1.1K
proofgeneral_3.7-3.1..>
2009-11-08 03:04
473K
proofgeneral_3.7-4.d..>
2010-10-15 22:09
24K
proofgeneral_3.7-4.dsc
2010-10-15 22:09
1.7K
proofgeneral_3.7-4_a..>
2010-10-17 23:05
474K
proofgeneral_3.7.ori..>
2008-05-03 12:19
1.9M
proofgeneral_4.2~pre..>
2012-06-11 01:04
19K
proofgeneral_4.2~pre..>
2012-06-11 01:04
1.9K
proofgeneral_4.2~pre..>
2012-06-11 01:34
420K
proofgeneral_4.2~pre..>
2012-12-07 01:33
19K
proofgeneral_4.2~pre..>
2012-12-07 01:33
1.9K
proofgeneral_4.2~pre..>
2012-12-07 01:33
422K
proofgeneral_4.2~pre..>
2012-06-11 01:04
1.0M
proofgeneral_4.3~pre..>
2014-02-28 20:38
19K
proofgeneral_4.3~pre..>
2014-02-28 20:38
2.0K
proofgeneral_4.3~pre..>
2014-02-28 20:38
353K
proofgeneral_4.3~pre..>
2013-05-19 01:33
20K
proofgeneral_4.3~pre..>
2013-05-19 01:33
2.0K
proofgeneral_4.3~pre..>
2013-05-19 02:03
449K
proofgeneral_4.3~pre..>
2013-05-19 01:33
1.0M
proofgeneral_4.3~pre..>
2014-10-25 20:32
19K
proofgeneral_4.3~pre..>
2014-10-25 20:32
2.0K
proofgeneral_4.3~pre..>
2014-10-26 16:17
355K
proofgeneral_4.3~pre..>
2014-11-17 07:33
19K
proofgeneral_4.3~pre..>
2014-11-17 07:33
1.9K
proofgeneral_4.3~pre..>
2014-11-17 07:34
356K
proofgeneral_4.3~pre..>
2014-10-25 20:32
11M
proofgeneral_4.4.1~p..>
2017-01-01 07:13
19K
proofgeneral_4.4.1~p..>
2017-01-01 07:13
2.0K
proofgeneral_4.4.1~p..>
2017-01-01 07:18
527K
proofgeneral_4.4.1~p..>
2017-01-01 07:13
11M
proofgeneral_4.4.1~p..>
2019-07-26 01:18
19K
proofgeneral_4.4.1~p..>
2019-07-26 01:18
1.9K
proofgeneral_4.4.1~p..>
2019-07-26 01:28
530K
proofgeneral_4.4.1~p..>
2019-10-02 05:53
19K
proofgeneral_4.4.1~p..>
2019-10-02 05:53
2.1K
proofgeneral_4.4.1~p..>
2019-10-02 05:53
530K
proofgeneral_4.4.1~p..>
2019-07-25 16:23
19K
proofgeneral_4.4.1~p..>
2019-07-25 16:23
2.0K
proofgeneral_4.4.1~p..>
2019-07-25 21:01
530K
proofgeneral_4.4.1~p..>
2019-12-20 01:58
19K
proofgeneral_4.4.1~p..>
2019-12-20 01:58
1.9K
proofgeneral_4.4.1~p..>
2019-12-20 02:28
530K
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:23
530K
proofgeneral_4.4.1~p..>
2017-01-17 13:13
8.9M
proofgeneral_4.5-1.d..>
2023-08-18 01:16
17K
proofgeneral_4.5-1.dsc
2023-08-18 01:16
2.0K
proofgeneral_4.5-1_a..>
2023-08-18 01:49
577K
proofgeneral_4.5.ori..>
2023-08-18 01:16
1.1M