Index of /ubuntu-old-releases/ubuntu/pool/universe/p/proofgeneral/
../
proofgeneral-coq_3.4-14_all.deb 29-Jul-2004 01:10 22938
proofgeneral-coq_3.5-3_all.deb 27-Oct-2004 00:55 44010
proofgeneral-coq_3.5-4.1_all.deb 20-Dec-2006 20:04 44688
proofgeneral-coq_3.5-6_all.deb 29-Oct-2007 09:03 44846
proofgeneral-coq_3.7-3.1_all.deb 07-Nov-2009 19:04 72300
proofgeneral-coq_3.7-3build1_all.deb 06-Aug-2008 19:13 71828
proofgeneral-coq_3.7-4_all.deb 17-Oct-2010 15:05 72368
proofgeneral-doc_3.4-14_all.deb 29-Jul-2004 01:10 111212
proofgeneral-doc_3.5-3_all.deb 27-Oct-2004 00:55 120922
proofgeneral-doc_3.5-4.1_all.deb 20-Dec-2006 20:04 121524
proofgeneral-doc_3.5-6_all.deb 29-Oct-2007 09:03 121678
proofgeneral-doc_3.7-3.1_all.deb 07-Nov-2009 19:04 90406
proofgeneral-doc_3.7-3build1_all.deb 06-Aug-2008 19:13 90230
proofgeneral-doc_3.7-4_all.deb 17-Oct-2010 15:05 90466
proofgeneral-doc_4.2~pre120605-1_all.deb 10-Jun-2012 17:34 665358
proofgeneral-doc_4.2~pre120605-2_all.deb 06-Dec-2012 17:33 666778
proofgeneral-doc_4.3~pre130510-1.1_all.deb 28-Feb-2014 12:38 657740
proofgeneral-doc_4.3~pre130510-1_all.deb 18-May-2013 18:03 676086
proofgeneral-doc_4.3~pre131011-0.2_all.deb 16-Nov-2014 23:34 680856
proofgeneral-doc_4.4.1~pre170114-1.1ubuntu1_all..> 01-Oct-2019 21:53 671152
proofgeneral-doc_4.4.1~pre170114-1.2_all.deb 19-Dec-2019 18:28 671136
proofgeneral-doc_4.4.1~pre170114-1_all.deb 17-Jan-2017 05:23 671518
proofgeneral-doc_4.5-1_all.deb 17-Aug-2023 17:49 683198
proofgeneral-minlog_3.5-4.1_amd64.deb 20-Dec-2006 20:04 17062
proofgeneral-minlog_3.5-4.1_i386.deb 20-Dec-2006 20:04 17028
proofgeneral-minlog_3.5-4.1_powerpc.deb 20-Dec-2006 20:04 17112
proofgeneral-minlog_3.5-4.1_sparc.deb 20-Dec-2006 20:04 16996
proofgeneral-minlog_3.5-6_all.deb 29-Oct-2007 09:03 16394
proofgeneral-minlog_3.7-3.1_all.deb 07-Nov-2009 19:04 20134
proofgeneral-minlog_3.7-3build1_all.deb 06-Aug-2008 19:13 19728
proofgeneral-minlog_3.7-4_all.deb 17-Oct-2010 15:05 20200
proofgeneral-misc_3.4-14_all.deb 29-Jul-2004 01:10 122040
proofgeneral-misc_3.5-3_all.deb 27-Oct-2004 00:55 149754
proofgeneral-misc_3.5-4.1_all.deb 20-Dec-2006 20:04 150328
proofgeneral-misc_3.5-6_all.deb 29-Oct-2007 09:03 150484
proofgeneral-misc_3.7-3.1_all.deb 07-Nov-2009 19:04 142114
proofgeneral-misc_3.7-3build1_all.deb 06-Aug-2008 19:13 141716
proofgeneral-misc_3.7-4_all.deb 17-Oct-2010 15:05 142178
proofgeneral_3.4-14.diff.gz 26-Jul-2004 23:36 7571
proofgeneral_3.4-14.dsc 26-Jul-2004 23:36 641
proofgeneral_3.4-14_all.deb 29-Jul-2004 01:10 406088
proofgeneral_3.4.orig.tar.gz 26-Jul-2004 23:36 758922
proofgeneral_3.5-3.diff.gz 25-Oct-2004 21:16 8207
proofgeneral_3.5-3.dsc 25-Oct-2004 21:16 645
proofgeneral_3.5-3_all.deb 27-Oct-2004 00:55 417834
proofgeneral_3.5-4.1.diff.gz 20-Dec-2006 14:04 20067
proofgeneral_3.5-4.1.dsc 20-Dec-2006 14:04 675
proofgeneral_3.5-4.1_all.deb 20-Dec-2006 20:04 421074
proofgeneral_3.5-6.diff.gz 24-Oct-2007 00:04 17558
proofgeneral_3.5-6.dsc 24-Oct-2007 00:04 671
proofgeneral_3.5-6_all.deb 29-Oct-2007 09:03 418786
proofgeneral_3.5.orig.tar.gz 25-Oct-2004 21:16 1775841
proofgeneral_3.7-3.1.diff.gz 06-Nov-2009 10:04 23726
proofgeneral_3.7-3.1.dsc 06-Nov-2009 10:04 1109
proofgeneral_3.7-3.1_all.deb 07-Nov-2009 19:04 484644
proofgeneral_3.7-3build1.diff.gz 06-Aug-2008 19:13 21411
proofgeneral_3.7-3build1.dsc 06-Aug-2008 19:13 1138
proofgeneral_3.7-3build1_all.deb 06-Aug-2008 19:13 483376
proofgeneral_3.7-4.diff.gz 15-Oct-2010 14:09 24613
proofgeneral_3.7-4.dsc 15-Oct-2010 14:09 1742
proofgeneral_3.7-4_all.deb 17-Oct-2010 15:05 484910
proofgeneral_3.7.orig.tar.gz 03-May-2008 04:19 1982146
proofgeneral_4.2~pre120605-1.debian.tar.gz 10-Jun-2012 17:04 19936
proofgeneral_4.2~pre120605-1.dsc 10-Jun-2012 17:04 1962
proofgeneral_4.2~pre120605-1_all.deb 10-Jun-2012 17:34 430356
proofgeneral_4.2~pre120605-2.debian.tar.gz 06-Dec-2012 17:33 19826
proofgeneral_4.2~pre120605-2.dsc 06-Dec-2012 17:33 1962
proofgeneral_4.2~pre120605-2_all.deb 06-Dec-2012 17:33 432040
proofgeneral_4.2~pre120605.orig.tar.gz 10-Jun-2012 17:04 1020306
proofgeneral_4.3~pre130510-1.1.debian.tar.xz 28-Feb-2014 12:38 19108
proofgeneral_4.3~pre130510-1.1.dsc 28-Feb-2014 12:38 2016
proofgeneral_4.3~pre130510-1.1_all.deb 28-Feb-2014 12:38 361556
proofgeneral_4.3~pre130510-1.debian.tar.gz 18-May-2013 17:33 20746
proofgeneral_4.3~pre130510-1.dsc 18-May-2013 17:33 2009
proofgeneral_4.3~pre130510-1_all.deb 18-May-2013 18:03 459892
proofgeneral_4.3~pre130510.orig.tar.gz 18-May-2013 17:33 1047655
proofgeneral_4.3~pre131011-0.2.debian.tar.xz 16-Nov-2014 23:33 19412
proofgeneral_4.3~pre131011-0.2.dsc 16-Nov-2014 23:33 1975
proofgeneral_4.3~pre131011-0.2_all.deb 16-Nov-2014 23:34 364274
proofgeneral_4.3~pre131011.orig.tar.xz 25-Oct-2014 12:32 11592524
proofgeneral_4.4.1~pre170114-1.1ubuntu1.debian...> 01-Oct-2019 21:53 19944
proofgeneral_4.4.1~pre170114-1.1ubuntu1.dsc 01-Oct-2019 21:53 2127
proofgeneral_4.4.1~pre170114-1.1ubuntu1_all.deb 01-Oct-2019 21:53 542316
proofgeneral_4.4.1~pre170114-1.2.debian.tar.xz 19-Dec-2019 17:58 19908
proofgeneral_4.4.1~pre170114-1.2.dsc 19-Dec-2019 17:58 1983
proofgeneral_4.4.1~pre170114-1.2_all.deb 19-Dec-2019 18:28 542408
proofgeneral_4.4.1~pre170114-1.debian.tar.xz 17-Jan-2017 05:13 19736
proofgeneral_4.4.1~pre170114-1.dsc 17-Jan-2017 05:13 1989
proofgeneral_4.4.1~pre170114-1_all.deb 17-Jan-2017 05:23 542604
proofgeneral_4.4.1~pre170114.orig.tar.xz 17-Jan-2017 05:13 9299752
proofgeneral_4.5-1.debian.tar.xz 17-Aug-2023 17:16 17188
proofgeneral_4.5-1.dsc 17-Aug-2023 17:16 2000
proofgeneral_4.5-1_all.deb 17-Aug-2023 17:49 590368
proofgeneral_4.5.orig.tar.gz 17-Aug-2023 17:16 1198535