Welcome to ftp.vim.org, Hosted by ftp.nluug.nl Current directory: /ftp/os/illumos/dyson/apt/pool/main/m/minisat2/

 Name                                      Last modified      Size  
 Parent Directory                                               -   
 current.bessel                            22-Nov-2016 21:25  3.8K  
 current.bok                               22-Nov-2016 21:25  3.8K  
 current.dufay                             22-Nov-2016 21:25  3.8K  
 minisat2_2.2.1-5+dyson1.changelog         22-Nov-2016 21:25  3.8K  
 minisat2_2.2.1-5+dyson1.debian.tar.xz     22-Nov-2016 21:25  9.4K  
 minisat2_2.2.1-5+dyson1.dsc               22-Nov-2016 21:25  1.5K  
 minisat2_2.2.1-5+dyson1_illumos-amd64.deb 22-Nov-2016 21:25  5.0K  
 minisat2_2.2.1.orig.tar.gz                22-Nov-2016 21:25   43K  
 minisat_2.2.1-5+dyson1_illumos-amd64.deb  22-Nov-2016 21:25   80K  

NLUUG - Open Systems. Open Standards
Become a member and get discounts on conferences and more, see the NLUUG website!