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

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