Index of /ports.ubuntu.com/ubuntu-ports/pool/universe/m/minisat2

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]minisat2_2.2.1-3.debian.tar.gz2011-10-17 06:05 8.4K 
[   ]minisat2_2.2.1-3.dsc2011-10-17 06:05 1.1K 
[   ]minisat2_2.2.1-3_armhf.deb2011-12-07 05:04 1.9K 
[   ]minisat2_2.2.1-4.debian.tar.gz2013-07-14 15:43 9.2K 
[   ]minisat2_2.2.1-4.dsc2013-07-14 15:43 1.8K 
[   ]minisat2_2.2.1-4_armhf.deb2013-07-14 15:58 1.9K 
[   ]minisat2_2.2.1.orig.tar.gz2011-04-30 10:05 43K 
[   ]minisat_2.2.1-3_armhf.deb2011-12-07 05:04 115K 
[   ]minisat_2.2.1-4_armhf.deb2013-07-14 15:58 119K 

Apache/2.4.7 (Ubuntu) Server at 8.43.84.130 Port 80