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

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