Index of /debian/pool/main/m/minizinc
Name
Last modified
Size
Description
Parent Directory
-
minizinc_2.8.3+dfsg1-1_riscv64.deb
2024-03-30 04:58
2.3M
minizinc_2.8.3+dfsg1-1_ppc64el.deb
2024-03-29 19:03
2.0M
minizinc_2.8.3+dfsg1-1_mips64el.deb
2024-03-30 00:09
1.8M
minizinc_2.8.3+dfsg1-1_i386.deb
2024-03-29 22:00
2.2M
minizinc_2.8.3+dfsg1-1_arm64.deb
2024-03-29 19:55
1.8M
minizinc_2.8.3+dfsg1-1_amd64.deb
2024-03-29 20:00
2.2M
minizinc_2.6.4+dfsg1-1_ppc64el.deb
2022-07-23 02:28
1.8M
minizinc_2.6.4+dfsg1-1_mips64el.deb
2022-07-23 05:56
1.6M
minizinc_2.6.4+dfsg1-1_i386.deb
2022-07-23 02:18
2.0M
minizinc_2.6.4+dfsg1-1_arm64.deb
2022-07-23 02:28
1.7M
minizinc_2.6.4+dfsg1-1_amd64.deb
2022-07-23 02:28
1.9M
minizinc_2.5.3+dfsg1-1_ppc64el.deb
2020-12-10 01:13
1.5M
minizinc_2.5.3+dfsg1-1_mips64el.deb
2020-12-10 01:29
1.3M
minizinc_2.5.3+dfsg1-1_i386.deb
2020-12-10 01:14
1.6M
minizinc_2.5.3+dfsg1-1_arm64.deb
2020-12-10 01:14
1.3M
minizinc_2.5.3+dfsg1-1_amd64.deb
2020-12-10 01:14
1.5M
minizinc_2.1.7+dfsg1-1_i386.deb
2018-01-23 19:00
1.7M
minizinc_2.1.7+dfsg1-1_arm64.deb
2018-01-23 18:29
1.6M
minizinc_2.1.7+dfsg1-1_amd64.deb
2018-01-23 17:43
1.7M
Apache/2.4.18 (Ubuntu) Server at mirror.seedvps.com Port 80