Index of /ubuntu/pool/universe/m/minizinc-ide

[ICO]NameLast modifiedSize

[DIR]Parent Directory  -
[   ]minizinc-ide_2.0.10-1.debian.tar.xz02-Jan-2016 22:14 8.3K
[   ]minizinc-ide_2.0.10-1.dsc02-Jan-2016 22:14 1.7K
[   ]minizinc-ide_2.0.10-1_amd64.deb02-Jan-2016 22:28 275K
[   ]minizinc-ide_2.0.10-1_i386.deb02-Jan-2016 22:14 285K
[   ]minizinc-ide_2.0.10.orig.tar.gz02-Jan-2016 22:14 406K
[   ]minizinc-ide_2.1.7-1.debian.tar.xz23-Jan-2018 16:28 8.7K
[   ]minizinc-ide_2.1.7-1.dsc23-Jan-2018 16:28 1.7K
[   ]minizinc-ide_2.1.7-1_amd64.deb23-Jan-2018 16:28 246K
[   ]minizinc-ide_2.1.7-1_i386.deb23-Jan-2018 16:29 262K
[   ]minizinc-ide_2.1.7.orig.tar.gz23-Jan-2018 16:28 210K
[   ]minizinc-ide_2.4.2-2build1.debian.tar.xz22-Mar-2020 11:10 8.6K
[   ]minizinc-ide_2.4.2-2build1.dsc22-Mar-2020 11:10 1.8K
[   ]minizinc-ide_2.4.2-2build1_amd64.deb22-Mar-2020 12:00 529K
[   ]minizinc-ide_2.4.2.orig.tar.gz10-Jan-2020 16:13 469K
[   ]minizinc-ide_2.5.3-1.debian.tar.xz09-Dec-2020 22:23 13K
[   ]minizinc-ide_2.5.3-1.dsc09-Dec-2020 22:23 1.7K
[   ]minizinc-ide_2.5.3-1_amd64.deb09-Dec-2020 22:39 755K
[   ]minizinc-ide_2.5.3.orig.tar.gz09-Dec-2020 22:23 780K
[   ]minizinc-ide_2.6.3-1.debian.tar.xz29-May-2022 17:29 13K
[   ]minizinc-ide_2.6.3-1.dsc29-May-2022 17:29 1.7K
[   ]minizinc-ide_2.6.3-1_amd64.deb29-May-2022 18:24 866K
[   ]minizinc-ide_2.6.3.orig.tar.gz29-May-2022 17:29 808K
[   ]minizinc-ide_2.8.2-1build2.debian.tar.xz01-Apr-2024 02:00 13K
[   ]minizinc-ide_2.8.2-1build2.dsc01-Apr-2024 02:00 1.8K
[   ]minizinc-ide_2.8.2-1build2_amd64.deb01-Apr-2024 17:02 889K
[   ]minizinc-ide_2.8.2.orig.tar.gz01-Jan-2024 16:31 816K

Apache/2.2.14 (Ubuntu) Server at ubuntu.cs.utah.edu Port 80