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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]minisat2_2.2.1-5build1_amd64.deb2018-04-05 03:03 2.0K 
[   ]minisat2_2.2.1-5build1_i386.deb2022-03-19 10:25 2.0K 
[   ]minisat2_2.2.1-5build2_amd64.deb2020-03-22 13:00 2.0K 
[   ]minisat_2.2.1-5build1_amd64.deb2018-04-05 03:03 80K 
[   ]minisat_2.2.1-5build1_i386.deb2022-03-19 10:25 89K 
[   ]minisat_2.2.1-5build2_amd64.deb2020-03-22 13:00 80K 

Apache/2.4.29 (Ubuntu) Server at ubuntu1.gcfl.net Port 80