Index of /debian/pool/main/m/minizinc

[ICO]NameLast modifiedSize

[PARENTDIR]Parent Directory  -
[   ]minizinc_2.1.7+dfsg1-1_amd64.deb2018-01-23 17:43 1.7M
[   ]minizinc_2.1.7+dfsg1-1_arm64.deb2018-01-23 18:29 1.6M
[   ]minizinc_2.1.7+dfsg1-1_i386.deb2018-01-23 19:00 1.7M
[   ]minizinc_2.5.3+dfsg1-1_amd64.deb2020-12-10 01:14 1.5M
[   ]minizinc_2.5.3+dfsg1-1_arm64.deb2020-12-10 01:14 1.3M
[   ]minizinc_2.5.3+dfsg1-1_i386.deb2020-12-10 01:14 1.6M
[   ]minizinc_2.5.3+dfsg1-1_mips64el.deb2020-12-10 01:29 1.3M
[   ]minizinc_2.5.3+dfsg1-1_ppc64el.deb2020-12-10 01:13 1.5M
[   ]minizinc_2.6.4+dfsg1-1_amd64.deb2022-07-23 02:28 1.9M
[   ]minizinc_2.6.4+dfsg1-1_arm64.deb2022-07-23 02:28 1.7M
[   ]minizinc_2.6.4+dfsg1-1_i386.deb2022-07-23 02:18 2.0M
[   ]minizinc_2.6.4+dfsg1-1_mips64el.deb2022-07-23 05:56 1.6M
[   ]minizinc_2.6.4+dfsg1-1_ppc64el.deb2022-07-23 02:28 1.8M
[   ]minizinc_2.8.7+dfsg1-1_amd64.deb2024-10-09 12:49 2.3M
[   ]minizinc_2.8.7+dfsg1-1_arm64.deb2024-10-09 09:23 2.0M
[   ]minizinc_2.8.7+dfsg1-1_i386.deb2024-10-09 10:20 2.4M
[   ]minizinc_2.8.7+dfsg1-1_mips64el.deb2024-10-09 09:34 1.9M
[   ]minizinc_2.8.7+dfsg1-1_ppc64el.deb2024-10-09 09:23 2.2M
[   ]minizinc_2.8.7+dfsg1-1_riscv64.deb2024-10-10 12:57 2.4M

Apache/2.4.10 (Debian) Server at debian.netcup.net Port 80