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

File Name  ↓	File Size  ↓	Date  ↓
Parent directory/	-	-
minizinc-ide_2.1.7-1.debian.tar.xz	8.7 KiB	2018-Jan-23 16:43
minizinc-ide_2.1.7-1.dsc	1.7 KiB	2018-Jan-23 16:43
minizinc-ide_2.1.7-1_amd64.deb	244.2 KiB	2018-Jan-23 16:43
minizinc-ide_2.1.7-1_i386.deb	260.2 KiB	2018-Jan-23 17:59
minizinc-ide_2.1.7.orig.tar.gz	210.5 KiB	2018-Jan-23 16:43
minizinc-ide_2.5.3-1.debian.tar.xz	12.7 KiB	2020-Dec-09 18:17
minizinc-ide_2.5.3-1.dsc	1.7 KiB	2020-Dec-09 18:17
minizinc-ide_2.5.3-1_amd64.deb	754.9 KiB	2020-Dec-10 00:14
minizinc-ide_2.5.3-1_i386.deb	796.9 KiB	2020-Dec-10 00:13
minizinc-ide_2.5.3.orig.tar.gz	779.7 KiB	2020-Dec-09 18:17
minizinc-ide_2.6.3-1.debian.tar.xz	12.9 KiB	2022-May-29 16:20
minizinc-ide_2.6.3-1.dsc	1.7 KiB	2022-May-29 16:20
minizinc-ide_2.6.3-1_amd64.deb	846.8 KiB	2022-May-29 16:56
minizinc-ide_2.6.3-1_i386.deb	896.7 KiB	2022-May-29 16:56
minizinc-ide_2.6.3.orig.tar.gz	807.9 KiB	2022-May-29 16:20
minizinc-ide_2.8.5-1.debian.tar.xz	8.9 KiB	2024-Aug-27 04:28
minizinc-ide_2.8.5-1.dsc	1.8 KiB	2024-Aug-27 04:28
minizinc-ide_2.8.5-1_amd64.deb	898.2 KiB	2024-Aug-27 04:53
minizinc-ide_2.8.5-1_i386.deb	946.0 KiB	2024-Aug-27 04:48
minizinc-ide_2.8.5.orig.tar.gz	815.6 KiB	2024-Aug-27 04:28