Index of /pureos/pool/main/m/minizinc-ide/
../
minizinc-ide_2.1.7-1.debian.tar.xz 29-Jan-2018 08:01 8956
minizinc-ide_2.1.7-1.dsc 29-Jan-2018 08:01 1769
minizinc-ide_2.1.7-1_amd64.deb 29-Jan-2018 08:03 244K
minizinc-ide_2.1.7-1_arm64.deb 07-Mar-2018 04:17 233K
minizinc-ide_2.1.7.orig.tar.gz 29-Jan-2018 08:01 210K
minizinc-ide_2.5.3-1.debian.tar.xz 15-Dec-2020 02:45 13K
minizinc-ide_2.5.3-1.dsc 15-Dec-2020 02:45 1766
minizinc-ide_2.5.3-1_amd64.deb 15-Dec-2020 02:48 755K
minizinc-ide_2.5.3-1_arm64.deb 15-Dec-2020 02:48 697K
minizinc-ide_2.5.3.orig.tar.gz 15-Dec-2020 02:45 780K
minizinc-ide_2.6.3-1.debian.tar.xz 14-Jun-2023 17:22 13K
minizinc-ide_2.6.3-1.dsc 14-Jun-2023 17:22 1789
minizinc-ide_2.6.3-1_amd64.deb 15-Jun-2023 05:21 847K
minizinc-ide_2.6.3-1_arm64.deb 15-Jun-2023 05:21 785K
minizinc-ide_2.6.3.orig.tar.gz 14-Jun-2023 17:22 808K