Index of /blankon/pool/main/m/minizinc/

File NameFile SizeDate
Parent directory/--
minizinc_2.0.13+dfsg1-1_amd64.deb 1M19-Aug-2017 17:44
minizinc_2.1.7+dfsg1-1.debian.tar.xz 943623-Jan-2018 16:43
minizinc_2.1.7+dfsg1-1.dsc 180723-Jan-2018 16:43
minizinc_2.1.7+dfsg1-1_amd64.deb 2M23-Jan-2018 16:43
minizinc_2.1.7+dfsg1.orig.tar.xz 487K23-Jan-2018 16:43