ftp.ntua.gr:/ubuntu/ubuntu/pool/universe/m/minisat2/ 
Icon  Name                                             Last modified      Size  Description
[DIR] Parent Directory                                                      -   
[   ] minisat2_2.2.1-3.debian.tar.gz                   17-Oct-2011 16:05  8.4K  
[   ] minisat2_2.2.1-3.dsc                             17-Oct-2011 16:05  1.1K  
[   ] minisat2_2.2.1-3_amd64.deb                       18-Oct-2011 06:03  1.8K  
[   ] minisat2_2.2.1-3_i386.deb                        18-Oct-2011 05:05  1.8K  
[   ] minisat2_2.2.1-4.debian.tar.gz                   15-Jul-2013 01:43  9.2K  
[   ] minisat2_2.2.1-4.dsc                             15-Jul-2013 01:43  1.8K  
[   ] minisat2_2.2.1-4_amd64.deb                       15-Jul-2013 01:58  1.9K  
[   ] minisat2_2.2.1-4_i386.deb                        15-Jul-2013 01:58  1.9K  
[   ] minisat2_2.2.1-5.debian.tar.xz                   30-Jul-2014 20:44  9.1K  
[   ] minisat2_2.2.1-5.dsc                             30-Jul-2014 20:44  1.8K  
[   ] minisat2_2.2.1-5_amd64.deb                       30-Jul-2014 21:38  1.9K  
[   ] minisat2_2.2.1-5_i386.deb                        30-Jul-2014 21:40  1.9K  
[   ] minisat2_2.2.1-5build1.debian.tar.xz             05-Apr-2018 11:01  9.3K  
[   ] minisat2_2.2.1-5build1.dsc                       05-Apr-2018 11:01  1.9K  
[   ] minisat2_2.2.1-5build1_amd64.deb                 05-Apr-2018 11:03  2.0K  
[   ] minisat2_2.2.1-5build1_i386.deb                  05-Apr-2018 11:04  2.0K  
[   ] minisat2_2.2.1-5build2.debian.tar.xz             22-Mar-2020 19:10  9.3K  
[   ] minisat2_2.2.1-5build2.dsc                       22-Mar-2020 19:10  1.9K  
[   ] minisat2_2.2.1-5build2_amd64.deb                 22-Mar-2020 20:00  2.0K  
[   ] minisat2_2.2.1.orig.tar.gz                       30-Apr-2011 20:05   43K  
[   ] minisat_2.2.1-3_amd64.deb                        18-Oct-2011 06:03  124K  
[   ] minisat_2.2.1-3_i386.deb                         18-Oct-2011 05:05  124K  
[   ] minisat_2.2.1-4_amd64.deb                        15-Jul-2013 01:58  128K  
[   ] minisat_2.2.1-4_i386.deb                         15-Jul-2013 01:58  124K  
[   ] minisat_2.2.1-5_amd64.deb                        30-Jul-2014 21:38   81K  
[   ] minisat_2.2.1-5_i386.deb                         30-Jul-2014 21:40   95K  
[   ] minisat_2.2.1-5build1_amd64.deb                  05-Apr-2018 11:03   80K  
[   ] minisat_2.2.1-5build1_i386.deb                   05-Apr-2018 11:04   89K  
[   ] minisat_2.2.1-5build2_amd64.deb                  22-Mar-2020 20:00   80K
Apache/2.2 Server at ftp.ntua.gr Port 80