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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
minizinc-ide_2.5.3-1.dsc 17662020-Dec-10 03:17
minizinc-ide_2.6.3-1.dsc 17892022-May-30 01:20
minizinc-ide_2.8.5-1.dsc 18102024-Aug-27 13:28
minizinc-ide_2.10.0-1.dsc 19442026-Aug-23 17:59
minizinc-ide_2.8.5-1.debian.tar.xz 91282024-Aug-27 13:28
minizinc-ide_2.10.0-1.debian.tar.xz 93922026-Aug-23 17:59
minizinc-ide_2.5.3-1.debian.tar.xz 130402020-Dec-10 03:17
minizinc-ide_2.6.3-1.debian.tar.xz 132242022-May-30 01:20
minizinc-ide_2.5.3-1_arm64.deb 7132242020-Dec-10 08:58
minizinc-ide_2.5.3-1_armhf.deb 7176722020-Dec-10 09:14
minizinc-ide_2.5.3-1_amd64.deb 7730442020-Dec-10 09:14
minizinc-ide_2.6.3-1_armhf.deb 7813602022-May-30 02:11
minizinc-ide_2.5.3.orig.tar.gz 7984232020-Dec-10 03:17
minizinc-ide_2.6.3-1_arm64.deb 8035842022-May-30 01:56
minizinc-ide_2.6.3-1_mips64el.deb 8138762022-May-30 01:55
minizinc-ide_2.5.3-1_i386.deb 8160522020-Dec-10 09:13
minizinc-ide_2.6.3-1_mipsel.deb 8217282022-May-30 02:26
minizinc-ide_2.8.5-1_armhf.deb 8247162024-Aug-27 13:53
minizinc-ide_2.6.3.orig.tar.gz 8272642022-May-30 01:20
minizinc-ide_2.8.5.orig.tar.gz 8351652024-Aug-27 13:28
minizinc-ide_2.10.0.orig.tar.gz 8356912026-Aug-23 17:59
minizinc-ide_2.8.5-1+b1_arm64.deb 8402202026-Jan-21 03:23
minizinc-ide_2.8.5-1_arm64.deb 8430082024-Aug-27 13:53
minizinc-ide_2.10.0-1_arm64.deb 8583202026-Aug-23 18:14
minizinc-ide_2.10.0-1_armhf.deb 8601402026-Aug-23 18:19
minizinc-ide_2.6.3-1_amd64.deb 8671322022-May-30 01:56
minizinc-ide_2.10.0-1_loong64.deb 8878562026-Aug-23 18:19
minizinc-ide_2.6.3-1_i386.deb 9181762022-May-30 01:56
minizinc-ide_2.8.5-1_amd64.deb 9197482024-Aug-27 13:53
minizinc-ide_2.10.0-1_riscv64.deb 9206762026-Aug-23 21:57
minizinc-ide_2.10.0-1_ppc64el.deb 9390082026-Aug-23 18:14
minizinc-ide_2.10.0-1_s390x.deb 9420282026-Aug-23 18:14
minizinc-ide_2.8.5-1_i386.deb 9686722024-Aug-27 13:48
minizinc-ide_2.10.0-1_amd64.deb 9891802026-Aug-23 18:20
minizinc-ide_2.10.0-1_i386.deb 10257242026-Aug-23 18:25