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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
minizinc-ide_2.8.2-1build2_amd64.deb 9099302024-Apr-01 23:02
minizinc-ide_2.6.3-1_amd64.deb 8864062022-May-30 00:24
minizinc-ide_2.8.2.orig.tar.gz 8350862024-Jan-01 23:31
minizinc-ide_2.6.3.orig.tar.gz 8272642022-May-29 23:29
minizinc-ide_2.5.3.orig.tar.gz 7984232020-Dec-10 05:23
minizinc-ide_2.5.3-1_amd64.deb 7726682020-Dec-10 05:39
minizinc-ide_2.4.2-2build1_amd64.deb 5417122020-Mar-22 18:00
minizinc-ide_2.4.2.orig.tar.gz 4800062020-Jan-10 23:13
minizinc-ide_2.0.10.orig.tar.gz 4153242016-Jan-03 05:14
minizinc-ide_2.0.10-1_i386.deb 2922762016-Jan-03 05:14
minizinc-ide_2.0.10-1_amd64.deb 2817022016-Jan-03 05:28
minizinc-ide_2.1.7-1_i386.deb 2684162018-Jan-23 23:29
minizinc-ide_2.1.7-1_amd64.deb 2520762018-Jan-23 23:28
minizinc-ide_2.1.7.orig.tar.gz 2155042018-Jan-23 23:28
minizinc-ide_2.8.2-1build2.debian.tar.xz 134082024-Apr-01 08:00
minizinc-ide_2.6.3-1.debian.tar.xz 132242022-May-29 23:29
minizinc-ide_2.5.3-1.debian.tar.xz 130402020-Dec-10 05:23
minizinc-ide_2.1.7-1.debian.tar.xz 89562018-Jan-23 23:28
minizinc-ide_2.4.2-2build1.debian.tar.xz 88522020-Mar-22 17:10
minizinc-ide_2.0.10-1.debian.tar.xz 85402016-Jan-03 05:14
minizinc-ide_2.8.2-1build2.dsc 18922024-Apr-01 08:00
minizinc-ide_2.4.2-2build1.dsc 18122020-Mar-22 17:10
minizinc-ide_2.6.3-1.dsc 17892022-May-29 23:29
minizinc-ide_2.1.7-1.dsc 17692018-Jan-23 23:28
minizinc-ide_2.5.3-1.dsc 17662020-Dec-10 05:23
minizinc-ide_2.0.10-1.dsc 17592016-Jan-03 05:14
This server can also be reached on the Tor network at
lysator7eknrfl47rlyxvgeamrv7ucefgrrlhk7rouv3sna25asetwid.onion
Information:
Data handling policy
The mirror administration can be reached at ftp-master (at) lysator.liu.se