Index of /caixamagica/pool/universe/p/proofgeneral
Name
Last modified
Size
Description
Parent Directory
-
proofgeneral_3.7.orig.tar.gz
2008-05-03 05:19
1.9M
proofgeneral_3.7-4.diff.gz
2010-10-15 15:09
24K
proofgeneral_3.7-4.dsc
2010-10-15 15:09
1.7K
proofgeneral-coq_3.7-4_all.deb
2010-10-17 16:05
71K
proofgeneral-doc_3.7-4_all.deb
2010-10-17 16:05
88K
proofgeneral-minlog_3.7-4_all.deb
2010-10-17 16:05
20K
proofgeneral-misc_3.7-4_all.deb
2010-10-17 16:05
139K
proofgeneral_3.7-4_all.deb
2010-10-17 16:05
474K
proofgeneral_4.2~pre120605-1.debian.tar.gz
2012-09-26 09:49
19K
proofgeneral_4.2~pre120605-1.dsc
2012-09-26 09:49
1.9K
proofgeneral_4.2~pre120605.orig.tar.gz
2012-09-26 09:49
1.0M
proofgeneral-doc_4.2~pre120605-1_all.deb
2012-09-27 08:36
650K
proofgeneral_4.2~pre120605-1_all.deb
2012-09-27 08:36
420K
proofgeneral_4.2~pre120605-2.debian.tar.gz
2013-04-22 21:10
19K
proofgeneral_4.2~pre120605-2.dsc
2013-04-22 21:10
1.9K
proofgeneral-doc_4.2~pre120605-2_all.deb
2013-04-24 16:42
651K
proofgeneral_4.2~pre120605-2_all.deb
2013-04-24 16:42
422K
proofgeneral_4.3~pre130510-1_all.deb
2013-09-23 21:56
449K
proofgeneral-doc_4.3~pre130510-1_all.deb
2013-09-23 21:56
660K
proofgeneral_4.3~pre130510-1.1_all.deb
2014-04-02 01:46
353K
proofgeneral-doc_4.3~pre130510-1.1_all.deb
2014-04-02 01:46
642K
proofgeneral_4.3~pre130510-1.1.debian.tar.xz
2015-01-04 17:29
19K
proofgeneral_4.3~pre130510-1.1.dsc
2015-01-04 17:29
2.0K
proofgeneral_4.3~pre130510.orig.tar.gz
2015-01-04 17:29
1.0M
proofgeneral-doc_4.3~pre131011-0.2_all.deb
2015-04-27 05:20
665K
proofgeneral_4.3~pre131011-0.2_all.deb
2015-04-27 05:21
356K
proofgeneral_4.3~pre131011-0.2.dsc
2015-05-16 06:23
1.9K
proofgeneral_4.3~pre131011-0.2.debian.tar.xz
2015-05-16 06:23
19K
proofgeneral_4.3~pre131011.orig.tar.xz
2015-05-16 06:23
11M