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

      Name                                   Last modified      Size  Description
      Parent Directory                                            -   
      minisat2_2.2.1-4.debian.tar.gz         2013-07-14 18:43  9.2K  
      minisat2_2.2.1-4.dsc                   2013-07-14 18:43  1.8K  
      minisat2_2.2.1-4_amd64.deb             2013-07-14 18:58  1.9K  
      minisat2_2.2.1-4_i386.deb              2013-07-14 18:58  1.9K  
      minisat2_2.2.1-5.debian.tar.xz         2014-07-30 13:44  9.1K  
      minisat2_2.2.1-5.dsc                   2014-07-30 13:44  1.8K  
      minisat2_2.2.1-5_amd64.deb             2014-07-30 14:38  1.9K  
      minisat2_2.2.1-5_i386.deb              2014-07-30 14:40  1.9K  
      minisat2_2.2.1-5build1.debian.tar.xz   2018-04-05 04:01  9.3K  
      minisat2_2.2.1-5build1.dsc             2018-04-05 04:01  1.9K  
      minisat2_2.2.1-5build1_amd64.deb       2018-04-05 04:03  2.0K  
      minisat2_2.2.1-5build1_i386.deb        2018-04-05 04:04  2.0K  
      minisat2_2.2.1-5build2.debian.tar.xz   2020-03-22 13:10  9.3K  
      minisat2_2.2.1-5build2.dsc             2020-03-22 13:10  1.9K  
      minisat2_2.2.1-5build2_amd64.deb       2020-03-22 14:00  2.0K  
      minisat2_2.2.1-8build1.debian.tar.xz   2024-04-01 04:00  9.7K  
      minisat2_2.2.1-8build1.dsc             2024-04-01 04:00  1.8K  
      minisat2_2.2.1.orig.tar.gz             2011-04-30 13:05   43K  
      minisat_2.2.1-4_amd64.deb              2013-07-14 18:58  128K  
      minisat_2.2.1-4_i386.deb               2013-07-14 18:58  124K  
      minisat_2.2.1-5_amd64.deb              2014-07-30 14:38   81K  
      minisat_2.2.1-5_i386.deb               2014-07-30 14:40   95K  
      minisat_2.2.1-5build1_amd64.deb        2018-04-05 04:03   80K  
      minisat_2.2.1-5build1_i386.deb         2018-04-05 04:04   89K  
      minisat_2.2.1-5build2_amd64.deb        2020-03-22 14:00   80K  
      minisat_2.2.1-8build1_amd64.deb        2024-04-01 06:33   86K