注册用户享1倍加速下载 立即注册
/mirrors_os/debian/pool/main/m/minizinc-ide/
File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
minizinc-ide_2.10.0-1.debian.tar.xz9.2 KiB2026-Aug-23 16:59
minizinc-ide_2.10.0-1.dsc1.9 KiB2026-Aug-23 16:59
minizinc-ide_2.10.0-1_amd64.deb966.0 KiB2026-Aug-23 17:20
minizinc-ide_2.10.0-1_arm64.deb838.2 KiB2026-Aug-23 17:14
minizinc-ide_2.10.0-1_armhf.deb840.0 KiB2026-Aug-23 17:19
minizinc-ide_2.10.0-1_i386.deb1001.7 KiB2026-Aug-23 17:25
minizinc-ide_2.10.0-1_loong64.deb867.0 KiB2026-Aug-23 17:19
minizinc-ide_2.10.0-1_ppc64el.deb917.0 KiB2026-Aug-23 17:14
minizinc-ide_2.10.0-1_riscv64.deb899.1 KiB2026-Aug-23 20:57
minizinc-ide_2.10.0-1_s390x.deb919.9 KiB2026-Aug-23 17:14
minizinc-ide_2.10.0.orig.tar.gz816.1 KiB2026-Aug-23 16:59
minizinc-ide_2.5.3-1.debian.tar.xz12.7 KiB2020-Dec-10 02:17
minizinc-ide_2.5.3-1.dsc1.7 KiB2020-Dec-10 02:17
minizinc-ide_2.5.3-1_amd64.deb754.9 KiB2020-Dec-10 08:14
minizinc-ide_2.5.3-1_arm64.deb696.5 KiB2020-Dec-10 07:58
minizinc-ide_2.5.3-1_armhf.deb700.9 KiB2020-Dec-10 08:14
minizinc-ide_2.5.3-1_i386.deb796.9 KiB2020-Dec-10 08:13
minizinc-ide_2.5.3.orig.tar.gz779.7 KiB2020-Dec-10 02:17
minizinc-ide_2.6.3-1.debian.tar.xz12.9 KiB2022-May-30 00:20
minizinc-ide_2.6.3-1.dsc1.7 KiB2022-May-30 00:20
minizinc-ide_2.6.3-1_amd64.deb846.8 KiB2022-May-30 00:56
minizinc-ide_2.6.3-1_arm64.deb784.8 KiB2022-May-30 00:56
minizinc-ide_2.6.3-1_armhf.deb763.0 KiB2022-May-30 01:11
minizinc-ide_2.6.3-1_i386.deb896.7 KiB2022-May-30 00:56
minizinc-ide_2.6.3-1_mips64el.deb794.8 KiB2022-May-30 00:55
minizinc-ide_2.6.3-1_mipsel.deb802.5 KiB2022-May-30 01:26
minizinc-ide_2.6.3.orig.tar.gz807.9 KiB2022-May-30 00:20
minizinc-ide_2.8.5-1.debian.tar.xz8.9 KiB2024-Aug-27 12:28
minizinc-ide_2.8.5-1.dsc1.8 KiB2024-Aug-27 12:28
minizinc-ide_2.8.5-1_amd64.deb898.2 KiB2024-Aug-27 12:53
minizinc-ide_2.8.5-1_arm64.deb823.3 KiB2024-Aug-27 12:53
minizinc-ide_2.8.5-1_armhf.deb805.4 KiB2024-Aug-27 12:53
minizinc-ide_2.8.5-1_i386.deb946.0 KiB2024-Aug-27 12:48
minizinc-ide_2.8.5.orig.tar.gz815.6 KiB2024-Aug-27 12:28