File Name  ↓	File Size  ↓	Date  ↓
Parent directory/	-	-
minizinc-ide_2.0.10-1.dsc	1.7 KiB	2016-Jan-02 22:14
minizinc-ide_2.5.3-1.dsc	1.7 KiB	2020-Dec-09 22:23
minizinc-ide_2.1.7-1.dsc	1.7 KiB	2018-Jan-23 16:28
minizinc-ide_2.8.5-1build1.dsc	1.8 KiB	2026-Jan-26 14:34
minizinc-ide_2.8.5-1.dsc	1.8 KiB	2024-Oct-31 12:11
minizinc-ide_2.4.2-2build1.dsc	1.8 KiB	2020-Mar-22 10:10
minizinc-ide_2.8.2-1build2.dsc	1.8 KiB	2024-Apr-01 01:00
minizinc-ide_2.0.10-1.debian.tar.xz	8.3 KiB	2016-Jan-02 22:14
minizinc-ide_2.4.2-2build1.debian.tar.xz	8.6 KiB	2020-Mar-22 10:10
minizinc-ide_2.1.7-1.debian.tar.xz	8.7 KiB	2018-Jan-23 16:28
minizinc-ide_2.8.5-1.debian.tar.xz	8.9 KiB	2024-Oct-31 12:11
minizinc-ide_2.8.5-1build1.debian.tar.xz	9.0 KiB	2026-Jan-26 14:34
minizinc-ide_2.5.3-1.debian.tar.xz	12.7 KiB	2020-Dec-09 22:23
minizinc-ide_2.8.2-1build2.debian.tar.xz	13.1 KiB	2024-Apr-01 01:00
minizinc-ide_2.1.7.orig.tar.gz	210.5 KiB	2018-Jan-23 16:28
minizinc-ide_2.1.7-1_amd64.deb	246.2 KiB	2018-Jan-23 16:28
minizinc-ide_2.1.7-1_i386.deb	262.1 KiB	2018-Jan-23 16:29
minizinc-ide_2.0.10-1_amd64.deb	275.1 KiB	2016-Jan-02 22:28
minizinc-ide_2.0.10-1_i386.deb	285.4 KiB	2016-Jan-02 22:14
minizinc-ide_2.0.10.orig.tar.gz	405.6 KiB	2016-Jan-02 22:14
minizinc-ide_2.4.2.orig.tar.gz	468.8 KiB	2020-Jan-10 16:13
minizinc-ide_2.4.2-2build1_amd64.deb	529.0 KiB	2020-Mar-22 11:00
minizinc-ide_2.5.3-1_amd64.deb	754.6 KiB	2020-Dec-09 22:39
minizinc-ide_2.5.3.orig.tar.gz	779.7 KiB	2020-Dec-09 22:23
minizinc-ide_2.8.2.orig.tar.gz	815.5 KiB	2024-Jan-01 16:31
minizinc-ide_2.8.5.orig.tar.gz	815.6 KiB	2024-Oct-31 12:11
minizinc-ide_2.8.5-1build1_arm64.deb	851.9 KiB	2026-Jan-26 14:37
minizinc-ide_2.8.5-1_arm64.deb	857.2 KiB	2024-Oct-31 14:11
minizinc-ide_2.8.2-1build2_amd64.deb	888.6 KiB	2024-Apr-01 16:02
minizinc-ide_2.8.5-1build1_amd64.deb	902.0 KiB	2026-Jan-26 14:36
minizinc-ide_2.8.5-1build1_amd64v3.deb	911.3 KiB	2026-Jan-26 14:37
minizinc-ide_2.8.5-1_amd64.deb	922.7 KiB	2024-Oct-31 13:59