Index of /raspbian/raspbian/pool/main/m/minizinc
Name Last modified Size Description
Parent Directory -
minizinc_2.1.7+dfsg1-1.debian.tar.xz 2018-01-23 17:43 9.2K
minizinc_2.1.7+dfsg1-1.dsc 2018-01-23 17:43 1.8K
minizinc_2.1.7+dfsg1-1_armhf.deb 2018-01-29 11:08 1.4M
minizinc_2.1.7+dfsg1.orig.tar.xz 2018-01-23 17:43 487K
minizinc_2.5.3+dfsg1-1.debian.tar.xz 2020-12-09 19:17 8.8K
minizinc_2.5.3+dfsg1-1.dsc 2020-12-09 19:17 1.8K
minizinc_2.5.3+dfsg1-1_armhf.deb 2020-12-15 11:08 1.3M
minizinc_2.5.3+dfsg1.orig.tar.gz 2020-12-09 19:17 1.5M
minizinc_2.6.4+dfsg1-1.debian.tar.xz 2022-07-23 01:53 8.9K
minizinc_2.6.4+dfsg1-1.dsc 2022-07-23 01:53 1.8K
minizinc_2.6.4+dfsg1-1_armhf.deb 2022-07-28 09:38 1.6M
minizinc_2.6.4+dfsg1.orig.tar.xz 2022-07-23 01:53 859K
minizinc_2.8.2+dfsg1-1.debian.tar.xz 2024-01-01 14:49 11K
minizinc_2.8.2+dfsg1-1.dsc 2024-01-01 14:49 1.8K
minizinc_2.8.2+dfsg1-1_armhf.deb 2024-01-07 11:08 1.8M
minizinc_2.8.2+dfsg1.orig.tar.gz 2024-01-01 14:49 1.8M
minizinc_2.8.3+dfsg1-1.debian.tar.xz 2024-03-29 17:22 11K
minizinc_2.8.3+dfsg1-1.dsc 2024-03-29 17:22 1.8K
minizinc_2.8.3+dfsg1.orig.tar.xz 2024-03-29 17:22 961K
Apache/2.4.59 (Debian) Server at rsync7.pl.gentoo.org Port 80