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.
../ 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_amd64.deb 14-Jul-2013 22:58 1896 minisat2_2.2.1-4_i386.deb 14-Jul-2013 22:58 1896 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_amd64.deb 30-Jul-2014 18:38 1994 minisat2_2.2.1-5_i386.deb 30-Jul-2014 18:40 1996 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_amd64.deb 05-Apr-2018 08:03 2032 minisat2_2.2.1-5build1_i386.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_amd64.deb 22-Mar-2020 18:00 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_amd64.deb 14-Jul-2013 22:58 130944 minisat_2.2.1-4_i386.deb 14-Jul-2013 22:58 127298 minisat_2.2.1-5_amd64.deb 30-Jul-2014 18:38 82980 minisat_2.2.1-5_i386.deb 30-Jul-2014 18:40 97038 minisat_2.2.1-5build1_amd64.deb 05-Apr-2018 08:03 81816 minisat_2.2.1-5build1_i386.deb 05-Apr-2018 08:04 90692 minisat_2.2.1-5build2_amd64.deb 22-Mar-2020 18:00 81944 minisat_2.2.1-8build1_amd64.deb 01-Apr-2024 10:33 88062
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.