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

[ICO]NameLast modifiedSize
[DIR]Parent Directory  -
[   ]minizinc-ide_2.8.5-1_i386.deb27-Aug-2024 06:48 946K
[   ]minizinc-ide_2.8.5-1_amd64.deb27-Aug-2024 06:53 898K
[   ]minizinc-ide_2.6.3-1_i386.deb29-May-2022 18:56 897K
[   ]minizinc-ide_2.6.3-1_amd64.deb29-May-2022 18:56 847K
[   ]minizinc-ide_2.8.5-1_arm64.deb27-Aug-2024 06:53 823K
[   ]minizinc-ide_2.8.5.orig.tar.gz27-Aug-2024 06:28 816K
[   ]minizinc-ide_2.6.3.orig.tar.gz29-May-2022 18:20 808K
[   ]minizinc-ide_2.8.5-1_armhf.deb27-Aug-2024 06:53 805K
[   ]minizinc-ide_2.5.3-1_i386.deb10-Dec-2020 01:13 797K
[   ]minizinc-ide_2.6.3-1_arm64.deb29-May-2022 18:56 785K
[   ]minizinc-ide_2.5.3.orig.tar.gz09-Dec-2020 19:17 780K
[   ]minizinc-ide_2.6.3-1_armhf.deb29-May-2022 19:11 763K
[   ]minizinc-ide_2.5.3-1_amd64.deb10-Dec-2020 01:14 755K
[   ]minizinc-ide_2.5.3-1_armhf.deb10-Dec-2020 01:14 701K
[   ]minizinc-ide_2.5.3-1_arm64.deb10-Dec-2020 00:58 697K
[   ]minizinc-ide_2.1.7-1_i386.deb23-Jan-2018 18:59 260K
[   ]minizinc-ide_2.1.7-1_amd64.deb23-Jan-2018 17:43 244K
[   ]minizinc-ide_2.1.7-1_arm64.deb23-Jan-2018 18:14 233K
[   ]minizinc-ide_2.1.7-1_armhf.deb23-Jan-2018 19:15 228K
[   ]minizinc-ide_2.1.7.orig.tar.gz23-Jan-2018 17:43 210K
[   ]minizinc-ide_2.6.3-1.debian.tar.xz29-May-2022 18:20 13K
[   ]minizinc-ide_2.5.3-1.debian.tar.xz09-Dec-2020 19:17 13K
[   ]minizinc-ide_2.8.5-1.debian.tar.xz27-Aug-2024 06:28 8.9K
[   ]minizinc-ide_2.1.7-1.debian.tar.xz23-Jan-2018 17:43 8.7K
[   ]minizinc-ide_2.8.5-1.dsc27-Aug-2024 06:28 1.8K
[   ]minizinc-ide_2.6.3-1.dsc29-May-2022 18:20 1.7K
[   ]minizinc-ide_2.1.7-1.dsc23-Jan-2018 17:43 1.7K
[   ]minizinc-ide_2.5.3-1.dsc09-Dec-2020 19:17 1.7K