Index of /ubuntu/pool/universe/m/minisat2

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[   ]minisat_2.2.1-8build1_amd64.deb01-Apr-2024 23:33 86K 
[   ]minisat_2.2.1-5build2_amd64.deb23-Mar-2020 07:00 80K 
[   ]minisat_2.2.1-5build1_i386.deb05-Apr-2018 20:04 89K 
[   ]minisat_2.2.1-5build1_amd64.deb05-Apr-2018 20:03 80K 
[   ]minisat_2.2.1-5_i386.deb31-Jul-2014 06:40 95K 
[   ]minisat_2.2.1-5_amd64.deb31-Jul-2014 06:38 81K 
[   ]minisat_2.2.1-4_i386.deb15-Jul-2013 10:58 124K 
[   ]minisat_2.2.1-4_amd64.deb15-Jul-2013 10:58 128K 
[   ]minisat2_2.2.1.orig.tar.gz01-May-2011 05:05 43K 
[TXT]minisat2_2.2.1-8build1.dsc01-Apr-2024 21:00 1.8K 
[   ]minisat2_2.2.1-8build1.debian.tar.xz01-Apr-2024 21:00 9.7K 
[   ]minisat2_2.2.1-5build2_amd64.deb23-Mar-2020 07:00 2.0K 
[TXT]minisat2_2.2.1-5build2.dsc23-Mar-2020 06:10 1.9K 
[   ]minisat2_2.2.1-5build2.debian.tar.xz23-Mar-2020 06:10 9.3K 
[   ]minisat2_2.2.1-5build1_i386.deb05-Apr-2018 20:04 2.0K 
[   ]minisat2_2.2.1-5build1_amd64.deb05-Apr-2018 20:03 2.0K 
[TXT]minisat2_2.2.1-5build1.dsc05-Apr-2018 20:01 1.9K 
[   ]minisat2_2.2.1-5build1.debian.tar.xz05-Apr-2018 20:01 9.3K 
[   ]minisat2_2.2.1-5_i386.deb31-Jul-2014 06:40 1.9K 
[   ]minisat2_2.2.1-5_amd64.deb31-Jul-2014 06:38 1.9K 
[TXT]minisat2_2.2.1-5.dsc31-Jul-2014 05:44 1.8K 
[   ]minisat2_2.2.1-5.debian.tar.xz31-Jul-2014 05:44 9.1K 
[   ]minisat2_2.2.1-4_i386.deb15-Jul-2013 10:58 1.9K 
[   ]minisat2_2.2.1-4_amd64.deb15-Jul-2013 10:58 1.9K 
[TXT]minisat2_2.2.1-4.dsc15-Jul-2013 10:43 1.8K 
[   ]minisat2_2.2.1-4.debian.tar.gz15-Jul-2013 10:43 9.2K 

Apache/2.2.15 (Red Hat) Server at ucmirror.canterbury.ac.nz Port 80