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-6.deb..> 2024-02-20 20:37  9.2K  
 minisat2_2.2.1-6.dsc    2024-02-20 20:37  1.7K  
 minisat2_2.2.1-7.deb..> 2024-03-30 06:11  9.6K  
 minisat2_2.2.1-7.dsc    2024-03-30 06:11  1.7K  
 minisat2_2.2.1-8.deb..> 2024-02-27 02:17  9.6K  
 minisat2_2.2.1-8.dsc    2024-02-27 02:17  1.7K  
 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-6_amd6..> 2024-02-20 20:37   86K  
 minisat_2.2.1-7_amd6..> 2024-03-30 06:25   86K  
 minisat_2.2.1-8_amd6..> 2024-02-27 03:03   86K  
 minisat_2.2.1-8build..> 2024-04-01 13:33   86K