Index of Minizinc Ide

[ICO]NameLast modifiedSizeDescription▴
[PARENTDIR]Parent Directory  -  
[TXT]minizinc-ide_2.6.3-1.dsc2022-05-29 18:20 1.7K 
[ ]minizinc-ide_2.6.3-1_amd64.deb2022-05-29 18:56 847KDebian Software Package
[ ]minizinc-ide_2.6.3-1_arm64.deb2022-05-29 18:56 785KDebian Software Package
[ ]minizinc-ide_2.6.3-1_armhf.deb2022-05-29 19:11 763KDebian Software Package
[ ]minizinc-ide_2.6.3-1_i386.deb2022-05-29 18:56 897KDebian Software Package
[ ]minizinc-ide_2.6.3.orig.tar.gz2022-05-29 18:20 808KGZIP compressed TAR archive
[ ]minizinc-ide_2.6.3-1.debian.tar.xz2022-05-29 18:20 13KTAR compressed archive