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

directories: 0, files: 12

NameLast modifiedSize
../
minizinc-ide_2.8.5-1_amd64.deb2025-08-29 10:48:00898.19 KiB
minizinc-ide_2.0.14.orig.tar.gz2019-08-29 03:52:29204.48 KiB
minizinc-ide_2.0.14-1.debian.tar.xz2019-08-29 03:52:298.81 KiB
minizinc-ide_2.8.5-1.debian.tar.xz2025-08-29 09:37:218.91 KiB
minizinc-ide_2.0.14-1.dsc2019-08-29 03:52:291.70 KiB
minizinc-ide_2.5.3.orig.tar.gz2021-07-05 05:13:02779.71 KiB
minizinc-ide_2.0.14-1+b1_amd64.deb2019-08-29 04:40:14238.76 KiB
minizinc-ide_2.5.3-1_amd64.deb2021-07-05 04:41:11754.93 KiB
minizinc-ide_2.5.3-1.dsc2021-07-05 05:13:021.72 KiB
minizinc-ide_2.8.5-1.dsc2025-08-29 09:37:211.77 KiB
minizinc-ide_2.5.3-1.debian.tar.xz2021-07-05 05:13:0212.73 KiB
minizinc-ide_2.8.5.orig.tar.gz2025-08-29 09:37:21815.59 KiB