Index of /sites/raspbian.org/raspbian/pool/main/m/minizinc-ide
Name Last modified Size Description
![[PARENTDIR]](/strapdown/icons/glyphicon-circle-arrow-up.svg)
Parent Directory -
![[ ]](/strapdown/icons/glyphicon-file.svg)
minizinc-ide_2.0.14-1.debian.tar.xz 2016-08-29 19:35 8.8K
minizinc-ide_2.0.14-1.dsc 2016-08-29 19:35 1.7K
minizinc-ide_2.0.14-1_armhf.deb 2016-09-04 18:08 222K
![[ ]](/icons/compressed.gif)
minizinc-ide_2.0.14.orig.tar.gz 2016-08-29 19:35 204K
minizinc-ide_2.1.7-1+b1_armhf.deb 2018-02-07 02:38 226K
minizinc-ide_2.1.7-1.debian.tar.xz 2018-01-23 17:43 8.7K
minizinc-ide_2.1.7-1.dsc 2018-01-23 17:43 1.7K
minizinc-ide_2.1.7-1_armhf.deb 2018-01-29 11:08 226K
minizinc-ide_2.1.7.orig.tar.gz 2018-01-23 17:43 210K
minizinc-ide_2.4.2-1.debian.tar.xz 2020-01-10 14:45 8.7K
minizinc-ide_2.4.2-1.dsc 2020-01-10 14:45 1.7K
minizinc-ide_2.4.2-2.debian.tar.xz 2020-01-19 10:45 8.6K
minizinc-ide_2.4.2-2.dsc 2020-01-19 10:45 1.7K
minizinc-ide_2.4.2.orig.tar.gz 2020-01-10 14:45 469K
minizinc-ide_2.4.3-1.debian.tar.xz 2020-04-02 19:32 8.6K
minizinc-ide_2.4.3-1.dsc 2020-04-02 19:32 1.7K
minizinc-ide_2.4.3.orig.tar.gz 2020-04-02 19:32 469K
minizinc-ide_2.5.1-1.debian.tar.xz 2020-10-22 18:55 13K
minizinc-ide_2.5.1-1.dsc 2020-10-22 18:55 1.7K
minizinc-ide_2.5.1.orig.tar.gz 2020-10-22 18:55 777K
minizinc-ide_2.5.2-1.debian.tar.xz 2020-11-15 15:42 13K
minizinc-ide_2.5.2-1.dsc 2020-11-15 15:42 1.7K
minizinc-ide_2.5.2.orig.tar.gz 2020-11-15 15:42 779K
minizinc-ide_2.5.3-1.debian.tar.xz 2020-12-09 19:17 13K
minizinc-ide_2.5.3-1.dsc 2020-12-09 19:17 1.7K
minizinc-ide_2.5.3.orig.tar.gz 2020-12-09 19:17 780K
minizinc-ide_2.6.3-1.debian.tar.xz 2022-05-29 18:20 13K
minizinc-ide_2.6.3-1.dsc 2022-05-29 18:20 1.7K
minizinc-ide_2.6.3.orig.tar.gz 2022-05-29 18:20 808K
minizinc-ide_2.8.2-1.debian.tar.xz 2024-01-01 14:49 13K
minizinc-ide_2.8.2-1.dsc 2024-01-01 14:49 1.7K
minizinc-ide_2.8.2.orig.tar.gz 2024-01-01 14:49 816K