Index of /pub/debian/pool/main/m/minizinc/


../
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.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.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.8.7+dfsg1-1_amd64.deb                   09-Oct-2024 10:49             2430376
minizinc_2.8.7+dfsg1-1_i386.deb                    09-Oct-2024 08:20             2506340
minizinc_2.8.7+dfsg1-1_riscv64.deb                 10-Oct-2024 10:57             2539788