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/minizinc/

../
minizinc_2.0.11+dfsg1-1.debian.tar.xz              17-Jan-2016 23:14                9164
minizinc_2.0.11+dfsg1-1.dsc                        17-Jan-2016 23:14                1797
minizinc_2.0.11+dfsg1-1_arm64.deb                  17-Jan-2016 23:45             1027424
minizinc_2.0.11+dfsg1-1_armhf.deb                  17-Jan-2016 23:46              995738
minizinc_2.0.11+dfsg1.orig.tar.gz                  17-Jan-2016 23:14              446388
minizinc_2.1.7+dfsg1-1.debian.tar.xz               23-Jan-2018 23:28                9436
minizinc_2.1.7+dfsg1-1.dsc                         23-Jan-2018 23:28                1807
minizinc_2.1.7+dfsg1-1_arm64.deb                   23-Jan-2018 23:29             1617700
minizinc_2.1.7+dfsg1-1_armhf.deb                   23-Jan-2018 23:29             1580088
minizinc_2.1.7+dfsg1.orig.tar.xz                   23-Jan-2018 23:28              498588
minizinc_2.4.2-1build1.debian.tar.xz               24-Mar-2020 14:43                8800
minizinc_2.4.2-1build1.dsc                         24-Mar-2020 14:43                1847
minizinc_2.4.2-1build1_arm64.deb                   24-Mar-2020 19:15             1264844
minizinc_2.4.2-1build1_armhf.deb                   24-Mar-2020 19:16             1269576
minizinc_2.4.2.orig.tar.gz                         10-Jan-2020 23:13             1535346
minizinc_2.5.3+dfsg1-1.debian.tar.xz               10-Dec-2020 05:23                9020
minizinc_2.5.3+dfsg1-1.dsc                         10-Dec-2020 05:23                1840
minizinc_2.5.3+dfsg1-1_arm64.deb                   10-Dec-2020 05:39             1359892
minizinc_2.5.3+dfsg1-1_armhf.deb                   10-Dec-2020 05:39             1350224
minizinc_2.5.3+dfsg1.orig.tar.gz                   10-Dec-2020 05:23             1622012
minizinc_2.6.4+dfsg1-1.debian.tar.xz               23-Jul-2022 05:28                9132
minizinc_2.6.4+dfsg1-1.dsc                         23-Jul-2022 05:28                1801
minizinc_2.6.4+dfsg1-1_arm64.deb                   23-Jul-2022 06:19             1961162
minizinc_2.6.4+dfsg1-1_armhf.deb                   23-Jul-2022 06:19             1964034
minizinc_2.6.4+dfsg1.orig.tar.xz                   23-Jul-2022 05:28              879400
minizinc_2.8.2+dfsg1-1build2.debian.tar.xz         01-Apr-2024 08:00               11068
minizinc_2.8.2+dfsg1-1build2.dsc                   01-Apr-2024 08:00                1901
minizinc_2.8.2+dfsg1-1build2_arm64.deb             01-Apr-2024 21:01             2149718
minizinc_2.8.2+dfsg1-1build2_armhf.deb             01-Apr-2024 21:02             2135562
minizinc_2.8.2+dfsg1.orig.tar.gz                   01-Jan-2024 23:31             1881556
minizinc_2.8.5+dfsg1-2.debian.tar.xz               10-Sep-2024 10:52               11628
minizinc_2.8.5+dfsg1-2.dsc                         10-Sep-2024 10:52                1850
minizinc_2.8.5+dfsg1-2_arm64.deb                   10-Sep-2024 13:27             2292092
minizinc_2.8.5+dfsg1-2_armhf.deb                   10-Sep-2024 13:27             2295312
minizinc_2.8.5+dfsg1.orig.tar.xz                   10-Sep-2024 10:52              980040

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.