Index of /ubuntu/packages/pool/universe/p/proofgeneral/
../
proofgeneral-coq_3.4-14_all.deb 29-Jul-2004 01:10 22K
proofgeneral-coq_3.5-3_all.deb 27-Oct-2004 00:55 43K
proofgeneral-coq_3.5-4.1_all.deb 20-Dec-2006 20:04 44K
proofgeneral-coq_3.5-6_all.deb 29-Oct-2007 09:03 44K
proofgeneral-coq_3.7-3.1_all.deb 07-Nov-2009 19:04 71K
proofgeneral-coq_3.7-3build1_all.deb 06-Aug-2008 19:13 70K
proofgeneral-coq_3.7-4_all.deb 17-Oct-2010 15:05 71K
proofgeneral-doc_3.4-14_all.deb 29-Jul-2004 01:10 109K
proofgeneral-doc_3.5-3_all.deb 27-Oct-2004 00:55 118K
proofgeneral-doc_3.5-4.1_all.deb 20-Dec-2006 20:04 119K
proofgeneral-doc_3.5-6_all.deb 29-Oct-2007 09:03 119K
proofgeneral-doc_3.7-3.1_all.deb 07-Nov-2009 19:04 88K
proofgeneral-doc_3.7-3build1_all.deb 06-Aug-2008 19:13 88K
proofgeneral-doc_3.7-4_all.deb 17-Oct-2010 15:05 88K
proofgeneral-doc_4.2~pre120605-1_all.deb 10-Jun-2012 17:34 650K
proofgeneral-doc_4.2~pre120605-2_all.deb 06-Dec-2012 17:33 651K
proofgeneral-doc_4.3~pre130510-1.1_all.deb 28-Feb-2014 12:38 642K
proofgeneral-doc_4.3~pre130510-1_all.deb 18-May-2013 18:03 660K
proofgeneral-doc_4.3~pre131011-0.2_all.deb 16-Nov-2014 23:34 665K
proofgeneral-doc_4.4.1~pre170114-1.1ubuntu1_all..> 01-Oct-2019 21:53 655K
proofgeneral-doc_4.4.1~pre170114-1.2_all.deb 19-Dec-2019 18:28 655K
proofgeneral-doc_4.4.1~pre170114-1_all.deb 17-Jan-2017 05:23 656K
proofgeneral-doc_4.5-1_all.deb 17-Aug-2023 17:49 667K
proofgeneral-doc_4.5-3_all.deb 27-Nov-2024 23:56 646K
proofgeneral-minlog_3.5-4.1_amd64.deb 20-Dec-2006 20:04 17K
proofgeneral-minlog_3.5-4.1_i386.deb 20-Dec-2006 20:04 17K
proofgeneral-minlog_3.5-6_all.deb 29-Oct-2007 09:03 16K
proofgeneral-minlog_3.7-3.1_all.deb 07-Nov-2009 19:04 20K
proofgeneral-minlog_3.7-3build1_all.deb 06-Aug-2008 19:13 19K
proofgeneral-minlog_3.7-4_all.deb 17-Oct-2010 15:05 20K
proofgeneral-misc_3.4-14_all.deb 29-Jul-2004 01:10 119K
proofgeneral-misc_3.5-3_all.deb 27-Oct-2004 00:55 146K
proofgeneral-misc_3.5-4.1_all.deb 20-Dec-2006 20:04 147K
proofgeneral-misc_3.5-6_all.deb 29-Oct-2007 09:03 147K
proofgeneral-misc_3.7-3.1_all.deb 07-Nov-2009 19:04 139K
proofgeneral-misc_3.7-3build1_all.deb 06-Aug-2008 19:13 138K
proofgeneral-misc_3.7-4_all.deb 17-Oct-2010 15:05 139K
proofgeneral_3.4-14_all.deb 29-Jul-2004 01:10 397K
proofgeneral_3.5-3_all.deb 27-Oct-2004 00:55 408K
proofgeneral_3.5-4.1_all.deb 20-Dec-2006 20:04 411K
proofgeneral_3.5-6_all.deb 29-Oct-2007 09:03 409K
proofgeneral_3.7-3.1_all.deb 07-Nov-2009 19:04 473K
proofgeneral_3.7-3build1_all.deb 06-Aug-2008 19:13 472K
proofgeneral_3.7-4_all.deb 17-Oct-2010 15:05 474K
proofgeneral_4.2~pre120605-1_all.deb 10-Jun-2012 17:34 420K
proofgeneral_4.2~pre120605-2_all.deb 06-Dec-2012 17:33 422K
proofgeneral_4.3~pre130510-1.1_all.deb 28-Feb-2014 12:38 353K
proofgeneral_4.3~pre130510-1_all.deb 18-May-2013 18:03 449K
proofgeneral_4.3~pre131011-0.2_all.deb 16-Nov-2014 23:34 356K
proofgeneral_4.4.1~pre170114-1.1ubuntu1_all.deb 01-Oct-2019 21:53 530K
proofgeneral_4.4.1~pre170114-1.2_all.deb 19-Dec-2019 18:28 530K
proofgeneral_4.4.1~pre170114-1_all.deb 17-Jan-2017 05:23 530K
proofgeneral_4.5-1_all.deb 17-Aug-2023 17:49 577K
proofgeneral_4.5-3_all.deb 27-Nov-2024 23:56 576K