Index of /pub/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_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_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_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.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_i386.deb                    29-Mar-2024 21:00             2336840
minizinc_2.8.3+dfsg1-1_riscv64.deb                 30-Mar-2024 03:58             2379216
minizinc_2.8.3+dfsg1.orig.tar.xz                   29-Mar-2024 16:22              983660