Studenten Net Twente Mirror service

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

Filename Modification time Size
minizinc-ide_2.0.10-1.debian.tar.xz 8540 B
minizinc-ide_2.0.10-1.dsc 1759 B
minizinc-ide_2.0.10-1_amd64.deb 275 KiB
minizinc-ide_2.0.10-1_i386.deb 285 KiB
minizinc-ide_2.0.10.orig.tar.gz 406 KiB
minizinc-ide_2.1.7-1.debian.tar.xz 8956 B
minizinc-ide_2.1.7-1.dsc 1769 B
minizinc-ide_2.1.7-1_amd64.deb 246 KiB
minizinc-ide_2.1.7-1_i386.deb 262 KiB
minizinc-ide_2.1.7.orig.tar.gz 210 KiB
minizinc-ide_2.4.2-2build1.debian.tar.xz 8852 B
minizinc-ide_2.4.2-2build1.dsc 1812 B
minizinc-ide_2.4.2-2build1_amd64.deb 529 KiB
minizinc-ide_2.4.2.orig.tar.gz 469 KiB
minizinc-ide_2.5.3-1.debian.tar.xz 13 KiB
minizinc-ide_2.5.3-1.dsc 1766 B
minizinc-ide_2.5.3-1_amd64.deb 755 KiB
minizinc-ide_2.5.3.orig.tar.gz 780 KiB
minizinc-ide_2.8.2-1build2.debian.tar.xz 13 KiB
minizinc-ide_2.8.2-1build2.dsc 1892 B
minizinc-ide_2.8.2-1build2_amd64.deb 889 KiB
minizinc-ide_2.8.2.orig.tar.gz 816 KiB
minizinc-ide_2.8.5-1.debian.tar.xz 9128 B
minizinc-ide_2.8.5-1.dsc 1810 B
minizinc-ide_2.8.5-1_amd64.deb 923 KiB
minizinc-ide_2.8.5-1_arm64.deb 857 KiB
minizinc-ide_2.8.5-1build1.debian.tar.xz 9196 B
minizinc-ide_2.8.5-1build1.dsc 1810 B
minizinc-ide_2.8.5-1build1_amd64.deb 902 KiB
minizinc-ide_2.8.5-1build1_amd64v3.deb 911 KiB
minizinc-ide_2.8.5-1build1_arm64.deb 852 KiB
minizinc-ide_2.8.5.orig.tar.gz 816 KiB
minizinc-ide_2.10.0-1.debian.tar.xz 9392 B
minizinc-ide_2.10.0-1.dsc 1944 B
minizinc-ide_2.10.0-1_amd64.deb 929 KiB
minizinc-ide_2.10.0-1_amd64v3.deb 938 KiB
minizinc-ide_2.10.0.orig.tar.gz 816 KiB