Welcome to mirrors.dotsrc.org

All our mirrors of open source software are available via http, https, ftp and an onion service. More information about our mirrors including statistics and contact information is available on our mirror info pages.

For information about dotsrc.org and our other services please go to our website.

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

File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
minizinc-ide_2.0.10-1.debian.tar.xz	8.3 KiB	2016-01-03 05:14:07
minizinc-ide_2.0.10-1.dsc	1.7 KiB	2016-01-03 05:14:07
minizinc-ide_2.0.10-1_arm64.deb	262.4 KiB	2016-01-03 05:29:08
minizinc-ide_2.0.10-1_armhf.deb	258.0 KiB	2016-01-03 05:29:15
minizinc-ide_2.0.10-1_powerpc.deb	260.4 KiB	2016-01-03 05:29:23
minizinc-ide_2.0.10-1_ppc64el.deb	270.0 KiB	2016-01-03 05:14:26
minizinc-ide_2.0.10-1_s390x.deb	263.9 KiB	2016-01-03 05:14:28
minizinc-ide_2.0.10.orig.tar.gz	405.6 KiB	2016-01-03 05:14:07
minizinc-ide_2.1.7-1.debian.tar.xz	8.7 KiB	2018-01-23 23:28:47
minizinc-ide_2.1.7-1.dsc	1.7 KiB	2018-01-23 23:28:47
minizinc-ide_2.1.7-1_arm64.deb	234.9 KiB	2018-01-23 23:29:09
minizinc-ide_2.1.7-1_armhf.deb	224.3 KiB	2018-01-23 23:29:11
minizinc-ide_2.1.7-1_ppc64el.deb	255.1 KiB	2018-01-23 23:29:20
minizinc-ide_2.1.7-1_s390x.deb	232.8 KiB	2018-01-23 23:29:34
minizinc-ide_2.1.7.orig.tar.gz	210.5 KiB	2018-01-23 23:28:47
minizinc-ide_2.4.2-2build1.debian.tar.xz	8.6 KiB	2020-03-22 17:10:04
minizinc-ide_2.4.2-2build1.dsc	1.8 KiB	2020-03-22 17:10:05
minizinc-ide_2.4.2-2build1_arm64.deb	496.3 KiB	2020-03-22 20:56:15
minizinc-ide_2.4.2-2build1_armhf.deb	490.3 KiB	2020-03-22 20:56:31
minizinc-ide_2.4.2.orig.tar.gz	468.8 KiB	2020-01-10 23:13:23
minizinc-ide_2.5.3-1.debian.tar.xz	12.7 KiB	2020-12-10 05:23:50
minizinc-ide_2.5.3-1.dsc	1.7 KiB	2020-12-10 05:23:49
minizinc-ide_2.5.3-1_arm64.deb	696.3 KiB	2020-12-10 05:39:25
minizinc-ide_2.5.3-1_armhf.deb	700.7 KiB	2020-12-10 05:39:29
minizinc-ide_2.5.3.orig.tar.gz	779.7 KiB	2020-12-10 05:23:50
minizinc-ide_2.6.3-1.debian.tar.xz	12.9 KiB	2022-05-29 23:29:09
minizinc-ide_2.6.3-1.dsc	1.7 KiB	2022-05-29 23:29:09
minizinc-ide_2.6.3-1_arm64.deb	828.5 KiB	2022-05-30 00:24:54
minizinc-ide_2.6.3-1_armhf.deb	833.2 KiB	2022-05-30 00:24:55
minizinc-ide_2.6.3.orig.tar.gz	807.9 KiB	2022-05-29 23:29:09
minizinc-ide_2.8.2-1build2.debian.tar.xz	13.1 KiB	2024-04-01 08:00:48
minizinc-ide_2.8.2-1build2.dsc	1.8 KiB	2024-04-01 08:00:48
minizinc-ide_2.8.2-1build2_arm64.deb	851.2 KiB	2024-04-01 21:02:15
minizinc-ide_2.8.2-1build2_armhf.deb	868.2 KiB	2024-04-01 20:03:27
minizinc-ide_2.8.2.orig.tar.gz	815.5 KiB	2024-01-01 23:31:31
minizinc-ide_2.8.5-1.debian.tar.xz	8.9 KiB	2024-10-31 19:11:46
minizinc-ide_2.8.5-1.dsc	1.8 KiB	2024-10-31 19:11:46
minizinc-ide_2.8.5-1_arm64.deb	857.2 KiB	2024-10-31 21:11:27
minizinc-ide_2.8.5-1_armhf.deb	877.3 KiB	2024-10-31 21:20:04
minizinc-ide_2.8.5.orig.tar.gz	815.6 KiB	2024-10-31 19:11:46