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
minizinc-ide_2.8.2-1+b1_amd64.deb 10-May-2024 17:05 889K
minizinc-ide_2.8.2-1+b1_arm64.deb 10-May-2024 17:05 818K
minizinc-ide_2.8.2-1.debian.tar.xz 10-May-2024 03:36 13K
minizinc-ide_2.8.2-1.dsc 10-May-2024 03:36 1789
minizinc-ide_2.8.2.orig.tar.gz 10-May-2024 03:36 816K
minizinc-ide_2.8.5-1.debian.tar.xz 12-Sep-2024 04:16 9128
minizinc-ide_2.8.5-1.dsc 12-Sep-2024 04:16 1810
minizinc-ide_2.8.5-1_amd64.deb 27-Sep-2024 15:44 898K
minizinc-ide_2.8.5-1_arm64.deb 27-Sep-2024 15:44 823K
minizinc-ide_2.8.5.orig.tar.gz 12-Sep-2024 04:16 816K