ftp.ntua.gr:/mirror/ubuntu/pool/universe/c/cryptominisat/ 
Icon  Name                                             Last modified      Size  Description
[DIR] Parent Directory                                                      -   
[   ] cryptominisat_5.8.0+dfsg1-1.debian.tar.xz        13-Jul-2020 20:24  6.0K  
[   ] cryptominisat_5.8.0+dfsg1-1.dsc                  13-Jul-2020 20:24  2.4K  
[   ] cryptominisat_5.8.0+dfsg1-1_amd64.deb            13-Jul-2020 21:09   94K  
[   ] cryptominisat_5.8.0+dfsg1-1build2.debian.tar.xz  12-Dec-2020 14:45  6.1K  
[   ] cryptominisat_5.8.0+dfsg1-1build2.dsc            12-Dec-2020 14:45  2.4K  
[   ] cryptominisat_5.8.0+dfsg1-1build2_amd64.deb      12-Dec-2020 15:06   86K  
[   ] cryptominisat_5.8.0+dfsg1.orig.tar.xz            13-Jul-2020 20:24  441K  
[   ] libcryptominisat5-5.8_5.8.0+dfsg1-1_amd64.deb    13-Jul-2020 21:09  419K  
[   ] libcryptominisat5-5.8_5.8.0+dfsg1-1build2_amd..> 12-Dec-2020 15:06  406K  
[   ] libcryptominisat5-dev_5.8.0+dfsg1-1_amd64.deb    13-Jul-2020 21:09   13K  
[   ] libcryptominisat5-dev_5.8.0+dfsg1-1build2_amd..> 12-Dec-2020 15:06   13K  
[   ] python3-cryptominisat_5.8.0+dfsg1-1_amd64.deb    13-Jul-2020 21:09   18K  
[   ] python3-cryptominisat_5.8.0+dfsg1-1build2_amd..> 12-Dec-2020 15:06   18K
Apache/2.2 Server at ftp.grnet.gr Port 80