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

Name ↑ Last modified Size
Parent Directory  -  -
minizinc-ide_2.10.0-1.debian.tar.xz  23-Aug-2026 08:59  9.2 KiB
minizinc-ide_2.10.0-1.dsc  23-Aug-2026 08:59  1.9 KiB
minizinc-ide_2.10.0-1_amd64.deb  23-Aug-2026 09:20  966 KiB
minizinc-ide_2.10.0-1_i386.deb  23-Aug-2026 09:25  1002 KiB
minizinc-ide_2.10.0.orig.tar.gz  23-Aug-2026 08:59  816 KiB
minizinc-ide_2.5.3-1.debian.tar.xz  09-Dec-2020 18:17  13 KiB
minizinc-ide_2.5.3-1.dsc  09-Dec-2020 18:17  1.7 KiB
minizinc-ide_2.5.3-1_amd64.deb  10-Dec-2020 00:14  755 KiB
minizinc-ide_2.5.3-1_i386.deb  10-Dec-2020 00:13  797 KiB
minizinc-ide_2.5.3.orig.tar.gz  09-Dec-2020 18:17  780 KiB
minizinc-ide_2.6.3-1.debian.tar.xz  29-May-2022 16:20  13 KiB
minizinc-ide_2.6.3-1.dsc  29-May-2022 16:20  1.7 KiB
minizinc-ide_2.6.3-1_amd64.deb  29-May-2022 16:56  847 KiB
minizinc-ide_2.6.3-1_i386.deb  29-May-2022 16:56  897 KiB
minizinc-ide_2.6.3.orig.tar.gz  29-May-2022 16:20  808 KiB
minizinc-ide_2.8.5-1.debian.tar.xz  27-Aug-2024 04:28  8.9 KiB
minizinc-ide_2.8.5-1.dsc  27-Aug-2024 04:28  1.8 KiB
minizinc-ide_2.8.5-1_amd64.deb  27-Aug-2024 04:53  898 KiB
minizinc-ide_2.8.5-1_i386.deb  27-Aug-2024 04:48  946 KiB
minizinc-ide_2.8.5.orig.tar.gz  27-Aug-2024 04:28  816 KiB
pub.gotlandia.net — 0 directories, 20 files