Index of /pool/universe/m/minisat2

Name                    Last modified      Size  Description
Parent Directory                             -   
minisat2_2.2.1-4.deb..> 2013-07-15 01:43  9.2K  
minisat2_2.2.1-4.dsc    2013-07-15 01:43  1.8K  
minisat2_2.2.1-4_amd..> 2013-07-15 01:58  1.9K  
minisat2_2.2.1-4_i38..> 2013-07-15 01:58  1.9K  
minisat2_2.2.1-5.deb..> 2014-07-30 20:44  9.1K  
minisat2_2.2.1-5.dsc    2014-07-30 20:44  1.8K  
minisat2_2.2.1-5_amd..> 2014-07-30 21:38  1.9K  
minisat2_2.2.1-5_i38..> 2014-07-30 21: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 19:10  9.3K  
minisat2_2.2.1-5buil..> 2020-03-22 19:10  1.9K  
minisat2_2.2.1-5buil..> 2020-03-22 20: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 20:05   43K  
minisat_2.2.1-4_amd6..> 2013-07-15 01:58  128K  
minisat_2.2.1-4_i386..> 2013-07-15 01:58  124K  
minisat_2.2.1-5_amd6..> 2014-07-30 21:38   81K  
minisat_2.2.1-5_i386..> 2014-07-30 21: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 20:00   80K  
minisat_2.2.1-8build..> 2024-04-01 13:33   86K