Index of /raspbian/pool/main/m/minizinc
Name Last modified Size Description
Parent Directory -
minizinc_2.1.7+dfsg1-1.debian.tar.xz 2018-01-23 10:43 9.2K
minizinc_2.1.7+dfsg1-1.dsc 2018-01-23 10:43 1.8K
minizinc_2.1.7+dfsg1-1_armhf.deb 2018-01-29 04:08 1.4M
minizinc_2.1.7+dfsg1.orig.tar.xz 2018-01-23 10:43 487K
minizinc_2.5.3+dfsg1-1.debian.tar.xz 2020-12-09 12:17 8.8K
minizinc_2.5.3+dfsg1-1.dsc 2020-12-09 12:17 1.8K
minizinc_2.5.3+dfsg1-1_armhf.deb 2020-12-15 04:08 1.3M
minizinc_2.5.3+dfsg1.orig.tar.gz 2020-12-09 12:17 1.5M
minizinc_2.6.4+dfsg1-1.debian.tar.xz 2022-07-22 18:53 8.9K
minizinc_2.6.4+dfsg1-1.dsc 2022-07-22 18:53 1.8K
minizinc_2.6.4+dfsg1-1_armhf.deb 2022-07-28 02:38 1.6M
minizinc_2.6.4+dfsg1.orig.tar.xz 2022-07-22 18:53 859K
minizinc_2.8.7+dfsg1-1.debian.tar.xz 2024-10-09 01:53 11K
minizinc_2.8.7+dfsg1-1.dsc 2024-10-09 01:53 1.8K
minizinc_2.8.7+dfsg1-1_armhf.deb 2024-10-14 05:08 1.8M
minizinc_2.8.7+dfsg1.orig.tar.xz 2024-10-09 01:53 963K
Apache/2.4.62 (Debian) Server at raspbian.mirrors.lucidnetworks.net Port 80