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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
minizinc-ide_2.10.0-1_i386.deb 10257242026-Aug-23 09:25
minizinc-ide_2.10.0-1_amd64.deb 9891802026-Aug-23 09:20
minizinc-ide_2.8.5-1_i386.deb 9686722024-Aug-27 04:48
minizinc-ide_2.10.0-1_riscv64.deb 9206762026-Aug-23 12:57
minizinc-ide_2.8.5-1_amd64.deb 9197482024-Aug-27 04:53
minizinc-ide_2.6.3-1_i386.deb 9181762022-May-29 16:56
minizinc-ide_2.10.0-1_loong64.deb 8878562026-Aug-23 09:19
minizinc-ide_2.6.3-1_amd64.deb 8671322022-May-29 16:56
minizinc-ide_2.10.0.orig.tar.gz 8356912026-Aug-23 08:59
minizinc-ide_2.8.5.orig.tar.gz 8351652024-Aug-27 04:28
minizinc-ide_2.6.3.orig.tar.gz 8272642022-May-29 16:20
minizinc-ide_2.5.3-1_i386.deb 8160522020-Dec-10 00:13
minizinc-ide_2.5.3.orig.tar.gz 7984232020-Dec-09 18:17
minizinc-ide_2.5.3-1_amd64.deb 7730442020-Dec-10 00:14
minizinc-ide_2.6.3-1.debian.tar.xz 132242022-May-29 16:20
minizinc-ide_2.5.3-1.debian.tar.xz 130402020-Dec-09 18:17
minizinc-ide_2.10.0-1.debian.tar.xz 93922026-Aug-23 08:59
minizinc-ide_2.8.5-1.debian.tar.xz 91282024-Aug-27 04:28
minizinc-ide_2.10.0-1.dsc 19442026-Aug-23 08:59
minizinc-ide_2.8.5-1.dsc 18102024-Aug-27 04:28
minizinc-ide_2.6.3-1.dsc 17892022-May-29 16:20
minizinc-ide_2.5.3-1.dsc 17662020-Dec-09 18:17