Index of /debian/pool/main/m/minisat2

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 minisat2_2.2.1-5+b3_..> 2017-03-07 14:27  5.1K  
 minisat2_2.2.1-5.deb..> 2014-07-30 14:01  9.1K  
 minisat2_2.2.1-5.dsc    2014-07-30 14:01  1.8K  
 minisat2_2.2.1-8.deb..> 2024-02-26 20:03  9.6K  
 minisat2_2.2.1-8.dsc    2024-02-26 20:03  1.7K  
 minisat2_2.2.1.orig...> 2011-03-29 18:07   43K  
 minisat_2.2.1-5+b3_a..> 2017-03-07 14:27   83K  
 minisat_2.2.1-8_amd6..> 2024-02-26 20:23   81K