Index of /Raspbian/raspbian/pool/main/m/minizinc
Name Last modified Size Description
Parent Directory -
minizinc_2.8.3+dfsg1-1_armhf.deb 2024-06-08 16:47 1.8M
minizinc_2.8.3+dfsg1.orig.tar.xz 2024-03-30 00:22 961K
minizinc_2.8.3+dfsg1-1.dsc 2024-03-30 00:22 1.8K
minizinc_2.8.3+dfsg1-1.debian.tar.xz 2024-03-30 00:22 11K
minizinc_2.6.4+dfsg1-1_armhf.deb 2022-07-28 15:38 1.6M
minizinc_2.6.4+dfsg1.orig.tar.xz 2022-07-23 07:53 859K
minizinc_2.6.4+dfsg1-1.dsc 2022-07-23 07:53 1.8K
minizinc_2.6.4+dfsg1-1.debian.tar.xz 2022-07-23 07:53 8.9K
minizinc_2.5.3+dfsg1-1_armhf.deb 2020-12-15 18:08 1.3M
minizinc_2.5.3+dfsg1.orig.tar.gz 2020-12-10 02:17 1.5M
minizinc_2.5.3+dfsg1-1.dsc 2020-12-10 02:17 1.8K
minizinc_2.5.3+dfsg1-1.debian.tar.xz 2020-12-10 02:17 8.8K
minizinc_2.1.7+dfsg1-1_armhf.deb 2018-01-29 18:08 1.4M
minizinc_2.1.7+dfsg1.orig.tar.xz 2018-01-24 00:43 487K
minizinc_2.1.7+dfsg1-1.dsc 2018-01-24 00:43 1.8K
minizinc_2.1.7+dfsg1-1.debian.tar.xz 2018-01-24 00:43 9.2K
Apache/2.4.62 (Debian) Server at mirror.freedif.org Port 443