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 /debian/pool/main/m/minizinc/

../
minizinc_2.1.7+dfsg1-1.debian.tar.xz               23-Jan-2018 16:43                9436
minizinc_2.1.7+dfsg1-1.dsc                         23-Jan-2018 16:43                1807
minizinc_2.1.7+dfsg1-1_amd64.deb                   23-Jan-2018 16:43             1774416
minizinc_2.1.7+dfsg1-1_arm64.deb                   23-Jan-2018 17:29             1631316
minizinc_2.1.7+dfsg1-1_i386.deb                    23-Jan-2018 18:00             1831260
minizinc_2.1.7+dfsg1.orig.tar.xz                   23-Jan-2018 16:43              498588
minizinc_2.5.3+dfsg1-1.debian.tar.xz               09-Dec-2020 18:17                9020
minizinc_2.5.3+dfsg1-1.dsc                         09-Dec-2020 18:17                1840
minizinc_2.5.3+dfsg1-1_amd64.deb                   10-Dec-2020 00:14             1622340
minizinc_2.5.3+dfsg1-1_arm64.deb                   10-Dec-2020 00:14             1386800
minizinc_2.5.3+dfsg1-1_i386.deb                    10-Dec-2020 00:14             1702956
minizinc_2.5.3+dfsg1.orig.tar.gz                   09-Dec-2020 18:17             1622012
minizinc_2.6.4+dfsg1-1.debian.tar.xz               22-Jul-2022 23:53                9132
minizinc_2.6.4+dfsg1-1.dsc                         22-Jul-2022 23:53                1801
minizinc_2.6.4+dfsg1-1_amd64.deb                   23-Jul-2022 00:28             2031904
minizinc_2.6.4+dfsg1-1_arm64.deb                   23-Jul-2022 00:28             1733724
minizinc_2.6.4+dfsg1-1_i386.deb                    23-Jul-2022 00:18             2112108
minizinc_2.6.4+dfsg1.orig.tar.xz                   22-Jul-2022 23:53              879400
minizinc_2.8.2+dfsg1-1.debian.tar.xz               01-Jan-2024 13:49               10876
minizinc_2.8.2+dfsg1-1.dsc                         01-Jan-2024 13:49                1798
minizinc_2.8.2+dfsg1-1_amd64.deb                   01-Jan-2024 16:16             2255836
minizinc_2.8.2+dfsg1-1_arm64.deb                   01-Jan-2024 16:01             1935652
minizinc_2.8.2+dfsg1-1_i386.deb                    01-Jan-2024 16:16             2334272
minizinc_2.8.2+dfsg1.orig.tar.gz                   01-Jan-2024 13:49             1881556
minizinc_2.8.3+dfsg1-1.debian.tar.xz               29-Mar-2024 16:22               11500
minizinc_2.8.3+dfsg1-1.dsc                         29-Mar-2024 16:22                1814
minizinc_2.8.3+dfsg1-1_amd64.deb                   29-Mar-2024 19:00             2257204
minizinc_2.8.3+dfsg1-1_arm64.deb                   29-Mar-2024 18:55             1934652
minizinc_2.8.3+dfsg1-1_i386.deb                    29-Mar-2024 21:00             2336840
minizinc_2.8.3+dfsg1.orig.tar.xz                   29-Mar-2024 16:22              983660

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.