[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]minizinc-ide_2.6.3-1.debian.tar.xz2022-05-29 18:20 13KTAR compressed archive
[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