ftp.ntua.gr:/mirror/ubuntu/pool/universe/p/proofgeneral/ 
Icon  Name                                             Last modified      Size  Description
[DIR] Parent Directory                                                      -   
[   ] proofgeneral-coq_3.7-4_all.deb                   17-Oct-2010 18:05   71K  
[   ] proofgeneral-doc_3.7-4_all.deb                   17-Oct-2010 18:05   88K  
[   ] proofgeneral-doc_4.3~pre130510-1.1_all.deb       28-Feb-2014 14:38  642K  
[   ] proofgeneral-doc_4.3~pre131011-0.2_all.deb       17-Nov-2014 01:34  665K  
[   ] proofgeneral-doc_4.4.1~pre170114-1.2_all.deb     19-Dec-2019 20:28  655K  
[   ] proofgeneral-doc_4.4.1~pre170114-1_all.deb       17-Jan-2017 07:23  656K  
[   ] proofgeneral-minlog_3.7-4_all.deb                17-Oct-2010 18:05   20K  
[   ] proofgeneral-misc_3.7-4_all.deb                  17-Oct-2010 18:05  139K  
[   ] proofgeneral_3.7-4.diff.gz                       15-Oct-2010 17:09   24K  
[   ] proofgeneral_3.7-4.dsc                           15-Oct-2010 17:09  1.7K  
[   ] proofgeneral_3.7-4_all.deb                       17-Oct-2010 18:05  474K  
[   ] proofgeneral_3.7.orig.tar.gz                     03-May-2008 07:19  1.9M  
[   ] proofgeneral_4.3~pre130510-1.1.debian.tar.xz     28-Feb-2014 14:38   19K  
[   ] proofgeneral_4.3~pre130510-1.1.dsc               28-Feb-2014 14:38  2.0K  
[   ] proofgeneral_4.3~pre130510-1.1_all.deb           28-Feb-2014 14:38  353K  
[   ] proofgeneral_4.3~pre130510.orig.tar.gz           18-May-2013 20:33  1.0M  
[   ] proofgeneral_4.3~pre131011-0.2.debian.tar.xz     17-Nov-2014 01:33   19K  
[   ] proofgeneral_4.3~pre131011-0.2.dsc               17-Nov-2014 01:33  1.9K  
[   ] proofgeneral_4.3~pre131011-0.2_all.deb           17-Nov-2014 01:34  356K  
[   ] proofgeneral_4.3~pre131011.orig.tar.xz           25-Oct-2014 15:32   11M  
[   ] proofgeneral_4.4.1~pre170114-1.2.debian.tar.xz   19-Dec-2019 19:58   19K  
[   ] proofgeneral_4.4.1~pre170114-1.2.dsc             19-Dec-2019 19:58  1.9K  
[   ] proofgeneral_4.4.1~pre170114-1.2_all.deb         19-Dec-2019 20:28  530K  
[   ] proofgeneral_4.4.1~pre170114-1.debian.tar.xz     17-Jan-2017 07:13   19K  
[   ] proofgeneral_4.4.1~pre170114-1.dsc               17-Jan-2017 07:13  1.9K  
[   ] proofgeneral_4.4.1~pre170114-1_all.deb           17-Jan-2017 07:23  530K  
[   ] proofgeneral_4.4.1~pre170114.orig.tar.xz         17-Jan-2017 07:13  8.9M
Apache/2.2 Server at ftp.grnet.gr Port 80