The hardware and bandwidth for this mirror is donated by dogado GmbH, the Webhosting and Full Service-Cloud Provider. Check out our Wordpress Tutorial.
If you wish to report a bug, or if you are interested in having us mirror your free-software or open-source project, please feel free to contact us at mirror[@]dogado.de.

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

../
minisat2_2.2.1-4.debian.tar.gz                     14-Jul-2013 22:43                9388
minisat2_2.2.1-4.dsc                               14-Jul-2013 22:43                1879
minisat2_2.2.1-4_arm64.deb                         20-Oct-2013 06:28                1898
minisat2_2.2.1-4_armhf.deb                         14-Jul-2013 22:58                1898
minisat2_2.2.1-5.debian.tar.xz                     30-Jul-2014 17:44                9348
minisat2_2.2.1-5.dsc                               30-Jul-2014 17:44                1893
minisat2_2.2.1-5_arm64.deb                         30-Jul-2014 18:39                1996
minisat2_2.2.1-5_armhf.deb                         30-Jul-2014 17:45                1990
minisat2_2.2.1-5build1.debian.tar.xz               05-Apr-2018 08:01                9480
minisat2_2.2.1-5build1.dsc                         05-Apr-2018 08:01                1982
minisat2_2.2.1-5build1_arm64.deb                   05-Apr-2018 08:04                2028
minisat2_2.2.1-5build1_armhf.deb                   05-Apr-2018 08:04                2028
minisat2_2.2.1-5build2.debian.tar.xz               22-Mar-2020 17:10                9528
minisat2_2.2.1-5build2.dsc                         22-Mar-2020 17:10                1978
minisat2_2.2.1-5build2_arm64.deb                   22-Mar-2020 20:56                2032
minisat2_2.2.1-5build2_armhf.deb                   22-Mar-2020 20:56                2032
minisat2_2.2.1-8build1.debian.tar.xz               01-Apr-2024 08:00                9976
minisat2_2.2.1-8build1.dsc                         01-Apr-2024 08:00                1811
minisat2_2.2.1.orig.tar.gz                         30-Apr-2011 17:05               44229
minisat_2.2.1-4_arm64.deb                          20-Oct-2013 06:28              128854
minisat_2.2.1-4_armhf.deb                          14-Jul-2013 22:58              121796
minisat_2.2.1-5_arm64.deb                          30-Jul-2014 18:39               81576
minisat_2.2.1-5_armhf.deb                          30-Jul-2014 17:45               77854
minisat_2.2.1-5build1_arm64.deb                    05-Apr-2018 08:04               80368
minisat_2.2.1-5build1_armhf.deb                    05-Apr-2018 08:04               74992
minisat_2.2.1-5build2_arm64.deb                    22-Mar-2020 20:56               79060
minisat_2.2.1-5build2_armhf.deb                    22-Mar-2020 20:56               75276
minisat_2.2.1-8build1_arm64.deb                    02-Apr-2024 11:01               92006
minisat_2.2.1-8build1_armhf.deb                    01-Apr-2024 19:53               81018

These binaries (installable software) and packages are in development.
They may not be fully stable and should be used with caution. We make no claims about them.
Health stats visible at Monitor.