Index of /pool/main/m/minizinc

[ICO]NameLast modifiedSize
[PARENTDIR]Parent Directory  -
[ ]minizinc_2.9.0+dfsg1.orig.tar.xz2025-02-15 18:01 967K
[ ]minizinc_2.9.0+dfsg1-1_i386.deb2025-02-15 18:01 2.4M
[ ]minizinc_2.9.0+dfsg1-1_arm64.deb2025-02-15 18:01 2.0M
[ ]minizinc_2.9.0+dfsg1-1_amd64.deb2025-02-15 18:01 2.3M
[TXT]minizinc_2.9.0+dfsg1-1.dsc2025-02-15 18:01 1.9K
[ ]minizinc_2.9.0+dfsg1-1.debian.tar.xz2025-02-15 18:01 11K
[ ]minizinc_2.8.7+dfsg1.orig.tar.xz2024-11-19 19:20 963K
[ ]minizinc_2.8.7+dfsg1-1_i386.deb2024-11-19 19:20 2.4M
[ ]minizinc_2.8.7+dfsg1-1_arm64.deb2024-11-19 19:20 2.0M
[ ]minizinc_2.8.7+dfsg1-1_amd64.deb2024-11-19 19:20 2.3M
[TXT]minizinc_2.8.7+dfsg1-1.dsc2024-11-19 19:20 1.8K
[ ]minizinc_2.8.7+dfsg1-1.debian.tar.xz2024-11-19 19:20 11K
[ ]minizinc_2.6.4+dfsg1.orig.tar.xz2024-08-07 20:17 859K
[ ]minizinc_2.6.4+dfsg1-1_i386.deb2024-08-07 20:17 2.0M
[ ]minizinc_2.6.4+dfsg1-1_arm64.deb2024-08-07 20:17 1.7M
[ ]minizinc_2.6.4+dfsg1-1_amd64.deb2024-08-07 20:17 1.9M
[TXT]minizinc_2.6.4+dfsg1-1.dsc2024-08-07 20:17 1.8K
[ ]minizinc_2.6.4+dfsg1-1.debian.tar.xz2024-08-07 20:17 8.9K
[ ]minizinc_2.5.3+dfsg1.orig.tar.gz2024-08-07 20:17 1.5M
[ ]minizinc_2.5.3+dfsg1-1_i386.deb2024-08-07 20:17 1.6M
[ ]minizinc_2.5.3+dfsg1-1_arm64.deb2024-08-07 20:17 1.3M
[ ]minizinc_2.5.3+dfsg1-1_amd64.deb2024-08-07 20:17 1.5M
[TXT]minizinc_2.5.3+dfsg1-1.dsc2024-08-07 20:17 1.8K
[ ]minizinc_2.5.3+dfsg1-1.debian.tar.xz2024-08-07 20:17 8.8K
[ ]minizinc_2.1.7+dfsg1.orig.tar.xz2024-08-07 20:17 487K
[ ]minizinc_2.1.7+dfsg1-1_i386.deb2024-08-07 20:17 1.7M
[ ]minizinc_2.1.7+dfsg1-1_arm64.deb2024-08-07 20:17 1.6M
[ ]minizinc_2.1.7+dfsg1-1_amd64.deb2024-08-07 20:17 1.7M
[TXT]minizinc_2.1.7+dfsg1-1.dsc2024-08-07 20:17 1.8K
[ ]minizinc_2.1.7+dfsg1-1.debian.tar.xz2024-08-07 20:17 9.2K