Index of /debian-archive/debian/pool/main/p/proofgeneral/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
proofgeneral_4.3~pre131011.orig.tar.xz 115925242014-Aug-12 22:27
proofgeneral_4.4.1~pre170114.orig.tar.xz 92997522017-Jan-17 06:49
proofgeneral_3.7.orig.tar.gz 19821462008-Mar-19 08:47
proofgeneral_3.5.orig.tar.gz 17758412004-Aug-20 21:32
proofgeneral_4.2~pre120605.orig.tar.gz 10203062012-Jun-10 00:26
proofgeneral-doc_4.3~pre131011-0.2_all.deb 6871982014-Nov-17 01:54
proofgeneral-doc_4.4.1~pre170114-1_all.deb 6821702017-Jan-17 06:49
proofgeneral-doc_4.4.1~pre170114-1.2_all.deb 6817562019-Dec-19 18:21
proofgeneral-doc_4.2~pre120605-2_all.deb 6712742012-Dec-06 20:41
proofgeneral_4.4.1~pre170114-1_all.deb 6032162017-Jan-17 06:49
proofgeneral_4.4.1~pre170114-1.2_all.deb 6030322019-Dec-19 18:21
proofgeneral_3.7-3_all.deb 4832242008-Apr-02 19:17
proofgeneral_3.7-4_all.deb 4823922010-Oct-12 05:48
proofgeneral_4.2~pre120605-2_all.deb 4321722012-Dec-06 20:41
proofgeneral_3.5-4.1_all.deb 4212162006-Dec-20 03:47
proofgeneral_3.5-3_all.deb 4178662005-May-01 02:56
proofgeneral_4.3~pre131011-0.2_all.deb 3753162014-Nov-17 01:54
proofgeneral-misc_3.5-4.1_all.deb 1502942006-Dec-20 03:47
proofgeneral-misc_3.5-3_all.deb 1497762005-May-01 02:56
proofgeneral-misc_3.7-4_all.deb 1421882010-Oct-12 05:48
proofgeneral-misc_3.7-3_all.deb 1415882008-Apr-02 19:17
proofgeneral-doc_3.5-4.1_all.deb 1214782006-Dec-20 03:47
proofgeneral-doc_3.5-3_all.deb 1209402005-May-01 02:56
proofgeneral-doc_3.7-4_all.deb 902002010-Oct-12 05:48
proofgeneral-doc_3.7-3_all.deb 901022008-Apr-02 19:17
proofgeneral-coq_3.7-4_all.deb 724822010-Oct-12 05:48
proofgeneral-coq_3.7-3_all.deb 717222008-Apr-02 19:17
proofgeneral-coq_3.5-4.1_all.deb 446722006-Dec-20 03:47
proofgeneral-coq_3.5-3_all.deb 440402005-May-01 02:56
proofgeneral_3.7-4.diff.gz 246132010-Oct-12 05:48
proofgeneral_3.7-3.diff.gz 214222008-Apr-02 19:17
proofgeneral-minlog_3.7-4_all.deb 201222010-Oct-12 05:48
proofgeneral_3.5-4.1.diff.gz 200672006-Dec-20 03:47
proofgeneral_4.4.1~pre170114-1.2.debian.tar.xz 199082019-Dec-19 17:06
proofgeneral_4.2~pre120605-2.debian.tar.gz 198262012-Dec-06 20:41
proofgeneral_4.4.1~pre170114-1.debian.tar.xz 197362017-Jan-17 06:49
proofgeneral-minlog_3.7-3_all.deb 195982008-Apr-02 19:17
proofgeneral_4.3~pre131011-0.2.debian.tar.xz 194122014-Nov-17 01:54
proofgeneral-minlog_3.5-4.1_hppa.deb 172022006-Dec-20 05:32
proofgeneral-minlog_3.5-4.1_alpha.deb 171042006-Dec-21 05:33
proofgeneral-minlog_3.5-4.1_mips.deb 170882006-Dec-21 05:33
proofgeneral-minlog_3.5-4.1_mipsel.deb 170882006-Dec-21 05:33
proofgeneral-minlog_3.5-4.1_amd64.deb 170042006-Dec-20 08:47
proofgeneral-minlog_3.5-4.1_i386.deb 169962006-Dec-20 03:47
proofgeneral-minlog_3.5-4.1_powerpc.deb 169802006-Dec-21 05:33
proofgeneral-minlog_3.5-4.1_sparc.deb 169222006-Dec-20 20:02
proofgeneral_3.5-3.diff.gz 82072005-May-01 02:56
proofgeneral_4.4.1~pre170114-1.dsc 19892017-Jan-17 06:49
proofgeneral_4.4.1~pre170114-1.2.dsc 19832019-Dec-19 17:06
proofgeneral_4.3~pre131011-0.2.dsc 19752014-Nov-17 01:54
proofgeneral_4.2~pre120605-2.dsc 19622012-Dec-06 20:41
proofgeneral_3.7-4.dsc 17422010-Oct-12 05:48
proofgeneral_3.7-3.dsc 7142008-Apr-02 19:17
proofgeneral_3.5-4.1.dsc 6752006-Dec-20 03:47
proofgeneral_3.5-3.dsc 6452004-Aug-20 22:02