Index of /pool/main/m/minizinc-ide

[ICO]NameLast modifiedSize
[PARENTDIR]Parent Directory  -
[ ]minizinc-ide_2.10.0.orig.tar.gz2026-08-23 10:59 816K
[ ]minizinc-ide_2.10.0-1_riscv64.deb2026-08-23 14:57 899K
[ ]minizinc-ide_2.10.0-1_loong64.deb2026-08-23 11:19 867K
[ ]minizinc-ide_2.10.0-1_i386.deb2026-08-23 11:25 1.0M
[ ]minizinc-ide_2.10.0-1_armhf.deb2026-08-23 11:19 840K
[ ]minizinc-ide_2.10.0-1_arm64.deb2026-08-23 11:14 838K
[ ]minizinc-ide_2.10.0-1_amd64.deb2026-08-23 11:20 966K
[ ]minizinc-ide_2.10.0-1.dsc2026-08-23 10:59 1.9K
[ ]minizinc-ide_2.10.0-1.debian.tar.xz2026-08-23 10:59 9.2K
[ ]minizinc-ide_2.8.5.orig.tar.gz2024-08-27 06:28 816K
[ ]minizinc-ide_2.8.5-1_i386.deb2024-08-27 06:48 946K
[ ]minizinc-ide_2.8.5-1_armhf.deb2024-08-27 06:53 805K
[ ]minizinc-ide_2.8.5-1_arm64.deb2024-08-27 06:53 823K
[ ]minizinc-ide_2.8.5-1_amd64.deb2024-08-27 06:53 898K
[ ]minizinc-ide_2.8.5-1.dsc2024-08-27 06:28 1.8K
[ ]minizinc-ide_2.8.5-1.debian.tar.xz2024-08-27 06:28 8.9K
[ ]minizinc-ide_2.8.5-1+b1_arm64.deb2026-01-20 19:23 821K
[ ]minizinc-ide_2.6.3.orig.tar.gz2022-05-29 18:20 808K
[ ]minizinc-ide_2.6.3-1_i386.deb2022-05-29 18:56 897K
[ ]minizinc-ide_2.6.3-1_armhf.deb2022-05-29 19:11 763K
[ ]minizinc-ide_2.6.3-1_arm64.deb2022-05-29 18:56 785K
[ ]minizinc-ide_2.6.3-1_amd64.deb2022-05-29 18:56 847K
[ ]minizinc-ide_2.6.3-1.dsc2022-05-29 18:20 1.7K
[ ]minizinc-ide_2.6.3-1.debian.tar.xz2022-05-29 18:20 13K
[ ]minizinc-ide_2.5.3.orig.tar.gz2020-12-09 19:17 780K
[ ]minizinc-ide_2.5.3-1_i386.deb2020-12-10 01:13 797K
[ ]minizinc-ide_2.5.3-1_armhf.deb2020-12-10 01:14 701K
[ ]minizinc-ide_2.5.3-1_arm64.deb2020-12-10 00:58 697K
[ ]minizinc-ide_2.5.3-1_amd64.deb2020-12-10 01:14 755K
[ ]minizinc-ide_2.5.3-1.dsc2020-12-09 19:17 1.7K
[ ]minizinc-ide_2.5.3-1.debian.tar.xz2020-12-09 19:17 13K