Index of /pub/linux/ubuntu-ports/pool/universe/m/minisat2

 Name                                     Last modified      Size  Description
 Parent Directory                                              -   
 minisat2_2.2.1-4.debian.tar.gz           2013-07-15 07:43  9.2K  
 minisat2_2.2.1-4.dsc                     2013-07-15 07:43  1.8K  
 minisat2_2.2.1-4_arm64.deb               2013-10-20 15:28  1.9K  
 minisat2_2.2.1-4_armhf.deb               2013-07-15 07:58  1.9K  
 minisat2_2.2.1-4_powerpc.deb             2013-07-15 08:13  1.9K  
 minisat2_2.2.1-4_ppc64el.deb             2014-02-19 19:28  1.9K  
 minisat2_2.2.1-5.debian.tar.xz           2014-07-31 02:44  9.1K  
 minisat2_2.2.1-5.dsc                     2014-07-31 02:44  1.8K  
 minisat2_2.2.1-5_arm64.deb               2014-07-31 03:39  1.9K  
 minisat2_2.2.1-5_armhf.deb               2014-07-31 02:45  1.9K  
 minisat2_2.2.1-5_powerpc.deb             2014-07-31 03:40  2.0K  
 minisat2_2.2.1-5_ppc64el.deb             2014-07-31 03:41  2.0K  
 minisat2_2.2.1-5_s390x.deb               2015-12-05 10:47  1.9K  
 minisat2_2.2.1-5build1.debian.tar.xz     2018-04-05 17:01  9.3K  
 minisat2_2.2.1-5build1.dsc               2018-04-05 17:01  1.9K  
 minisat2_2.2.1-5build1_arm64.deb         2018-04-05 17:04  2.0K  
 minisat2_2.2.1-5build1_armhf.deb         2018-04-05 17:04  2.0K  
 minisat2_2.2.1-5build1_ppc64el.deb       2018-04-05 17:04  2.0K  
 minisat2_2.2.1-5build1_s390x.deb         2018-04-05 17:04  2.0K  
 minisat2_2.2.1-5build2.debian.tar.xz     2020-03-23 02:10  9.3K  
 minisat2_2.2.1-5build2.dsc               2020-03-23 02:10  1.9K  
 minisat2_2.2.1-5build2_arm64.deb         2020-03-23 05:56  2.0K  
 minisat2_2.2.1-5build2_armhf.deb         2020-03-23 05:56  2.0K  
 minisat2_2.2.1-5build2_ppc64el.deb       2020-03-23 06:23  2.0K  
 minisat2_2.2.1-5build2_riscv64.deb       2020-04-03 19:14  2.0K  
 minisat2_2.2.1-5build2_s390x.deb         2020-03-23 05:31  2.0K  
 minisat2_2.2.1-8build1.debian.tar.xz     2024-04-01 17:00  9.7K  
 minisat2_2.2.1-8build1.dsc               2024-04-01 17:00  1.8K  
 minisat2_2.2.1.orig.tar.gz               2011-05-01 02:05   43K  
 minisat_2.2.1-4_arm64.deb                2013-10-20 15:28  126K  
 minisat_2.2.1-4_armhf.deb                2013-07-15 07:58  119K  
 minisat_2.2.1-4_powerpc.deb              2013-07-15 08:13  133K  
 minisat_2.2.1-4_ppc64el.deb              2014-02-19 19:28   91K  
 minisat_2.2.1-5_arm64.deb                2014-07-31 03:39   80K  
 minisat_2.2.1-5_armhf.deb                2014-07-31 02:45   76K  
 minisat_2.2.1-5_powerpc.deb              2014-07-31 03:40   86K  
 minisat_2.2.1-5_ppc64el.deb              2014-07-31 03:41   92K  
 minisat_2.2.1-5_s390x.deb                2015-12-05 10:47   78K  
 minisat_2.2.1-5build1_arm64.deb          2018-04-05 17:04   78K  
 minisat_2.2.1-5build1_armhf.deb          2018-04-05 17:04   73K  
 minisat_2.2.1-5build1_ppc64el.deb        2018-04-05 17:04   99K  
 minisat_2.2.1-5build1_s390x.deb          2018-04-05 17:04   77K  
 minisat_2.2.1-5build2_arm64.deb          2020-03-23 05:56   77K  
 minisat_2.2.1-5build2_armhf.deb          2020-03-23 05:56   74K  
 minisat_2.2.1-5build2_ppc64el.deb        2020-03-23 06:23   89K  
 minisat_2.2.1-5build2_riscv64.deb        2020-04-03 19:14  145K  
 minisat_2.2.1-5build2_s390x.deb          2020-03-23 05:31   76K  
 minisat_2.2.1-8build1_arm64.deb          2024-04-02 20:01   90K  
 minisat_2.2.1-8build1_armhf.deb          2024-04-02 04:53   79K  
 minisat_2.2.1-8build1_ppc64el.deb        2024-04-02 11:14  101K  
 minisat_2.2.1-8build1_riscv64.deb        2024-04-02 10:09  172K  
 minisat_2.2.1-8build1_s390x.deb          2024-04-02 14:03   92K