-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: minizinc
Binary: minizinc
Architecture: any
Version: 2.5.2+dfsg1-1
Maintainer: Kari Pahula <kaol@debian.org>
Homepage: http://www.minizinc.org/
Standards-Version: 4.5.0
Build-Depends: debhelper (>= 13), dh-exec, cmake, flex, bison, flatzinc, latexmk, texlive-latex-recommended, libgecode-dev (>= 6.2.0)
Package-List:
 minizinc deb devel optional arch=any
Checksums-Sha1:
 1f924f279972d65658a8543052ef87682a21a538 1618554 minizinc_2.5.2+dfsg1.orig.tar.gz
 88a10dbe98e85afeb8389c899bac1941da171958 9008 minizinc_2.5.2+dfsg1-1.debian.tar.xz
Checksums-Sha256:
 0d5955a4801f74437eb6420357aed4bdc6f87a117c169022385409927d364eda 1618554 minizinc_2.5.2+dfsg1.orig.tar.gz
 560ce5b4d723fffa1a734a901942ba978d5bac2bd3a863c9d5990730d4f68a1c 9008 minizinc_2.5.2+dfsg1-1.debian.tar.xz
Files:
 9d05a7d5110ad71fc1b2c066fe77e59a 1618554 minizinc_2.5.2+dfsg1.orig.tar.gz
 1e56ff7b729e5ebbb884208c1b9550ce 9008 minizinc_2.5.2+dfsg1-1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCAAdFiEECcOX/lMRGGlaUzRFhAhn7p2PJlwFAl+xOv0ACgkQhAhn7p2P
JlwhUA/+L64riAbg9GRgKs62r2V8doww8OMxBFFN26oizCja167xNAkE3sMhN9w+
jyB8n9mIlT4ORyE4tCzCF6tZbpy3qvGJejrxm8fEwUcfy5LbwWXvFJ4yMhkAD9hK
JOKSPLyomLMkzyZ6YGf1AoNYsEqGkaGyj9E0BKINfL/yDIwA+z7afLsRBugITrqD
lI8We2l05LL06tEH/ACVZW++PbnpP1y7455cld3lEG+3r38g7j7GxIWzAG5oOa9o
Wd/AO0jJnmX8t34laFdraQcr9XNztf+TzikqGoqJ5o4hARUrm631OY2xoiHJkU7p
cAzJFv3HoJaTSC1mcukyyQ4NlzQAUkJbylG+raw0h4X/hKIq4hz7IehLm2NigMFc
t0/YIUNCnGivzT3scziz04M3YVWws6dUhfAREAY0xMev8syDaEkettqF44DmOLUt
XaV1BzVquLYqGkzWGpcchwEOZTUDJ47dUatStenIihrbSaxkCrd2wBBe91q8qNCD
zoHFtYvinhot3Ef9VFCiLyW4V6nqwgks46UqTZRuRlOJiUii3PfoRFN5tg5TIMk5
5Z0cyN2tbbFkxcKznbvTfCMyoZ9OMSSU69FS1Y5Ovh2jfpTtKa23FVs4qcVZk06R
he1Q/Yx7o9IETUb1QAVJOhYEEWB8s+jhKF/4n9qKwrGEUcV/KR0=
=O7Qs
-----END PGP SIGNATURE-----