Index of /debian-archive/debian/pool/main/p/proofgeneral/
name
size
date
proofgeneral-doc_4.4.1~pre170114-1_all.deb
0.65M
2017-01-16 21:49:15
proofgeneral_4.4.1~pre170114-1.debian.tar.xz
19.3K
2017-01-16 21:49:15
proofgeneral_4.4.1~pre170114-1.dsc
1.9K
2017-01-16 21:49:15
proofgeneral_4.4.1~pre170114-1_all.deb
0.58M
2017-01-16 21:49:15
proofgeneral_4.4.1~pre170114.orig.tar.xz
8.87M
2017-01-16 21:49:15
proofgeneral-doc_4.3~pre131011-0.2_all.deb
0.66M
2014-11-16 16:54:51
proofgeneral_4.3~pre131011-0.2.debian.tar.xz
19.0K
2014-11-16 16:54:51
proofgeneral_4.3~pre131011-0.2.dsc
1.9K
2014-11-16 16:54:51
proofgeneral_4.3~pre131011-0.2_all.deb
366.5K
2014-11-16 16:54:51
proofgeneral_4.3~pre131011.orig.tar.xz
11.06M
2014-08-12 13:27:09
proofgeneral-doc_4.2~pre120605-2_all.deb
0.64M
2012-12-06 11:41:02
proofgeneral_4.2~pre120605-2.debian.tar.gz
19.4K
2012-12-06 11:41:02
proofgeneral_4.2~pre120605-2.dsc
1.9K
2012-12-06 11:41:02
proofgeneral_4.2~pre120605-2_all.deb
422.0K
2012-12-06 11:41:02
proofgeneral_4.2~pre120605.orig.tar.gz
0.97M
2012-06-09 15:26:54
proofgeneral-coq_3.7-4_all.deb
70.8K
2010-10-11 20:48:08
proofgeneral-doc_3.7-4_all.deb
88.1K
2010-10-11 20:48:08
proofgeneral-minlog_3.7-4_all.deb
19.7K
2010-10-11 20:48:08
proofgeneral-misc_3.7-4_all.deb
138.9K
2010-10-11 20:48:08
proofgeneral_3.7-4.diff.gz
24.0K
2010-10-11 20:48:08
proofgeneral_3.7-4.dsc
1.7K
2010-10-11 20:48:08
proofgeneral_3.7-4_all.deb
471.1K
2010-10-11 20:48:08
proofgeneral-coq_3.7-3_all.deb
70.0K
2008-04-02 10:17:02
proofgeneral-doc_3.7-3_all.deb
88.0K
2008-04-02 10:17:02
proofgeneral-minlog_3.7-3_all.deb
19.1K
2008-04-02 10:17:02
proofgeneral-misc_3.7-3_all.deb
138.3K
2008-04-02 10:17:02
proofgeneral_3.7-3.diff.gz
20.9K
2008-04-02 10:17:02
proofgeneral_3.7-3.dsc
0.7K
2008-04-02 10:17:02
proofgeneral_3.7-3_all.deb
471.9K
2008-04-02 10:17:02
proofgeneral_3.7.orig.tar.gz
1.89M
2008-03-18 23:47:11
proofgeneral-minlog_3.5-4.1_alpha.deb
16.7K
2006-12-20 20:33:05
proofgeneral-minlog_3.5-4.1_mips.deb
16.7K
2006-12-20 20:33:05
proofgeneral-minlog_3.5-4.1_mipsel.deb
16.7K
2006-12-20 20:33:05
proofgeneral-minlog_3.5-4.1_powerpc.deb
16.6K
2006-12-20 20:33:05
proofgeneral-minlog_3.5-4.1_sparc.deb
16.5K
2006-12-20 11:02:05
proofgeneral-minlog_3.5-4.1_amd64.deb
16.6K
2006-12-19 23:47:03
proofgeneral-minlog_3.5-4.1_hppa.deb
16.8K
2006-12-19 20:32:05
proofgeneral-coq_3.5-4.1_all.deb
43.6K
2006-12-19 18:47:07
proofgeneral-doc_3.5-4.1_all.deb
118.6K
2006-12-19 18:47:07
proofgeneral-minlog_3.5-4.1_i386.deb
16.6K
2006-12-19 18:47:07
proofgeneral-misc_3.5-4.1_all.deb
146.8K
2006-12-19 18:47:07
proofgeneral_3.5-4.1.diff.gz
19.6K
2006-12-19 18:47:07
proofgeneral_3.5-4.1.dsc
0.7K
2006-12-19 18:47:07
proofgeneral_3.5-4.1_all.deb
411.3K
2006-12-19 18:47:07
proofgeneral-coq_3.5-3_all.deb
43.0K
2005-04-30 17:56:30
proofgeneral-doc_3.5-3_all.deb
118.1K
2005-04-30 17:56:30
proofgeneral-misc_3.5-3_all.deb
146.3K
2005-04-30 17:56:30
proofgeneral_3.5-3.diff.gz
8.0K
2005-04-30 17:56:30
proofgeneral_3.5-3_all.deb
408.1K
2005-04-30 17:56:30
proofgeneral_3.5-3.dsc
0.6K
2004-08-20 13:02:42
proofgeneral_3.5.orig.tar.gz
1.69M
2004-08-20 12:32:17