Index of /debian/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.orig.tar.xz 2018-01-23 17:43 487K
minizinc_2.1.7+dfsg1-1_amd64.deb 2018-01-23 17:43 1.7M
minizinc_2.1.7+dfsg1-1_i386.deb 2018-01-23 19:00 1.7M
minizinc_2.5.3+dfsg1-1.dsc 2020-12-09 19:17 1.8K
minizinc_2.5.3+dfsg1.orig.tar.gz 2020-12-09 19:17 1.5M
minizinc_2.5.3+dfsg1-1.debian.tar.xz 2020-12-09 19:17 8.8K
minizinc_2.5.3+dfsg1-1_amd64.deb 2020-12-10 01:14 1.5M
minizinc_2.5.3+dfsg1-1_i386.deb 2020-12-10 01:14 1.6M
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.orig.tar.xz 2022-07-23 01:53 859K
minizinc_2.6.4+dfsg1-1_i386.deb 2022-07-23 02:18 2.0M
minizinc_2.6.4+dfsg1-1_amd64.deb 2022-07-23 02:28 1.9M
minizinc_2.8.7+dfsg1-1.debian.tar.xz 2024-10-09 08:53 11K
minizinc_2.8.7+dfsg1-1.dsc 2024-10-09 08:53 1.8K
minizinc_2.8.7+dfsg1.orig.tar.xz 2024-10-09 08:53 963K
minizinc_2.8.7+dfsg1-1_i386.deb 2024-10-09 10:20 2.4M
minizinc_2.8.7+dfsg1-1_amd64.deb 2024-10-09 12:49 2.3M