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