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

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