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

 Name                                 Last modified      Size  Description
 Parent Directory                                          -   
 minisat2_2.2.1.orig.tar.gz           30-Apr-2011 13:05   43K  
 minisat2_2.2.1-3.debian.tar.gz       17-Oct-2011 09:05  8.4K  
 minisat2_2.2.1-3.dsc                 17-Oct-2011 09:05  1.1K  
 minisat2_2.2.1-3_i386.deb            17-Oct-2011 22:05  1.8K  
 minisat_2.2.1-3_i386.deb             17-Oct-2011 22:05  124K  
 minisat2_2.2.1-3_amd64.deb           17-Oct-2011 23:03  1.8K  
 minisat_2.2.1-3_amd64.deb            17-Oct-2011 23:03  124K  
 minisat2_2.2.1-4.debian.tar.gz       14-Jul-2013 18:43  9.2K  
 minisat2_2.2.1-4.dsc                 14-Jul-2013 18:43  1.8K  
 minisat2_2.2.1-4_amd64.deb           14-Jul-2013 18:58  1.9K  
 minisat_2.2.1-4_amd64.deb            14-Jul-2013 18:58  128K  
 minisat2_2.2.1-4_i386.deb            14-Jul-2013 18:58  1.9K  
 minisat_2.2.1-4_i386.deb             14-Jul-2013 18:58  124K  
 minisat2_2.2.1-5.debian.tar.xz       30-Jul-2014 13:44  9.1K  
 minisat2_2.2.1-5.dsc                 30-Jul-2014 13:44  1.8K  
 minisat2_2.2.1-5_amd64.deb           30-Jul-2014 14:38  1.9K  
 minisat_2.2.1-5_amd64.deb            30-Jul-2014 14:38   81K  
 minisat2_2.2.1-5_i386.deb            30-Jul-2014 14:40  1.9K  
 minisat_2.2.1-5_i386.deb             30-Jul-2014 14:40   95K  
 minisat2_2.2.1-5build1.debian.tar.xz 05-Apr-2018 04:01  9.3K  
 minisat2_2.2.1-5build1.dsc           05-Apr-2018 04:01  1.9K  
 minisat2_2.2.1-5build1_amd64.deb     05-Apr-2018 04:03  2.0K  
 minisat_2.2.1-5build1_amd64.deb      05-Apr-2018 04:03   80K  
 minisat2_2.2.1-5build1_i386.deb      05-Apr-2018 04:04  2.0K  
 minisat_2.2.1-5build1_i386.deb       05-Apr-2018 04:04   89K