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

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 minisat2_2.2.1-4.deb..> 14-Jul-2013 22:43  9.2K  
 minisat2_2.2.1-4.dsc    14-Jul-2013 22:43  1.8K  
 minisat2_2.2.1-4_amd..> 14-Jul-2013 22:58  1.9K  
 minisat2_2.2.1-4_i38..> 14-Jul-2013 22:58  1.9K  
 minisat2_2.2.1-5.deb..> 30-Jul-2014 17:44  9.1K  
 minisat2_2.2.1-5.dsc    30-Jul-2014 17:44  1.8K  
 minisat2_2.2.1-5_amd..> 30-Jul-2014 18:38  1.9K  
 minisat2_2.2.1-5_i38..> 30-Jul-2014 18:40  1.9K  
 minisat2_2.2.1-5buil..> 05-Apr-2018 08:01  9.3K  
 minisat2_2.2.1-5buil..> 05-Apr-2018 08:01  1.9K  
 minisat2_2.2.1-5buil..> 05-Apr-2018 08:03  2.0K  
 minisat2_2.2.1-5buil..> 05-Apr-2018 08:04  2.0K  
 minisat2_2.2.1-5buil..> 22-Mar-2020 17:10  9.3K  
 minisat2_2.2.1-5buil..> 22-Mar-2020 17:10  1.9K  
 minisat2_2.2.1-5buil..> 22-Mar-2020 18:00  2.0K  
 minisat2_2.2.1-8buil..> 01-Apr-2024 08:00  9.7K  
 minisat2_2.2.1-8buil..> 01-Apr-2024 08:00  1.8K  
 minisat2_2.2.1.orig...> 30-Apr-2011 17:05   43K  
 minisat_2.2.1-4_amd6..> 14-Jul-2013 22:58  128K  
 minisat_2.2.1-4_i386..> 14-Jul-2013 22:58  124K  
 minisat_2.2.1-5_amd6..> 30-Jul-2014 18:38   81K  
 minisat_2.2.1-5_i386..> 30-Jul-2014 18:40   95K  
 minisat_2.2.1-5build..> 05-Apr-2018 08:03   80K  
 minisat_2.2.1-5build..> 05-Apr-2018 08:04   89K  
 minisat_2.2.1-5build..> 22-Mar-2020 18:00   80K  
 minisat_2.2.1-8build..> 01-Apr-2024 10:33   86K