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

      Name                                   Last modified      Size  Description
      Parent Directory                                            -   
      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_i386.deb               2014-07-30 14:40   95K  
      minisat_2.2.1-5build1_i386.deb         2018-04-05 04:04   89K  
      minisat_2.2.1-8build1_amd64.deb        2024-04-01 06:33   86K  
      minisat_2.2.1-5_amd64.deb              2014-07-30 14:38   81K  
      minisat_2.2.1-5build2_amd64.deb        2020-03-22 14:00   80K  
      minisat_2.2.1-5build1_amd64.deb        2018-04-05 04:03   80K  
      minisat2_2.2.1-5build2_amd64.deb       2020-03-22 14:00  2.0K  
      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-5_i386.deb              2014-07-30 14:40  1.9K  
      minisat2_2.2.1-5_amd64.deb             2014-07-30 14:38  1.9K  
      minisat2_2.2.1-4_i386.deb              2013-07-14 18:58  1.9K  
      minisat2_2.2.1-4_amd64.deb             2013-07-14 18:58  1.9K