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

Format: 3.0 (quilt)
Source: minizinc
Binary: minizinc
Architecture: any
Version: 2.8.5+dfsg1-1
Maintainer: Kari Pahula <kaol@debian.org>
Homepage: https://www.minizinc.org/
Standards-Version: 4.7.0
Build-Depends: debhelper (>= 13), dh-exec, cmake, flex, bison, libgecode-dev (>= 6.2.0), coinor-libcbc-dev
Package-List:
 minizinc deb devel optional arch=any
Checksums-Sha1:
 1688bc5a6f9702354cf70776ca22925d192cc8dc 980040 minizinc_2.8.5+dfsg1.orig.tar.xz
 6254abadb74ed4857e56d5090d7225360952f6bb 11584 minizinc_2.8.5+dfsg1-1.debian.tar.xz
Checksums-Sha256:
 dcb82ba534faeb236f2fdf1c5a2c76011962bf4a84f22d94ee63dde26b8eb835 980040 minizinc_2.8.5+dfsg1.orig.tar.xz
 168c96908b4d34a12cecfde09e3cb46656ba4ddf388cf0af377e59e53da96490 11584 minizinc_2.8.5+dfsg1-1.debian.tar.xz
Files:
 35174d4383732d10722de60b14e04e43 980040 minizinc_2.8.5+dfsg1.orig.tar.xz
 fb9f03d575d8de7333654976c4c9b57d 11584 minizinc_2.8.5+dfsg1-1.debian.tar.xz

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

iQIzBAEBCAAdFiEECcOX/lMRGGlaUzRFhAhn7p2PJlwFAmbNUKYACgkQhAhn7p2P
Jlyltw//aU5zavEpsn/CnTog8kokoFqjU3TAYB9068LgutXUUWmv69FhAd3xZxsy
h+y1uDzSKdxqy+vN8SVCfFaA0w8uqo0cA3wa5G7rWOv+OirI/EfHXSCrSUZGXq0g
dnBZcTm8J92UW64v5W1Jpt3wEwZi2KXFNa/ZqNJLG27mSoHYgeyZ1ySBXzPZtbeE
BQyqgyIs224AwbM4BL7nFy4bmUp4H8wE77PNixhTXxpmhge6BeXod8p/oP08aGoq
kRxK/njNTgezN7HwftYL9BcIvfkpK6d0JerKN3KGX7Uowu3qk6nyFjgelUNHjn5Q
l48AzXakF9UfrQfZV/teWKFdPT9Eux605b/xq9aIdzKQQ2c3fVovvar6sUM5WA71
IyFESOvScyWJAz/+KVj/moPfnYSGhgpy1bZ+Z3tnDqqxuxq3jk+dp6eIsLJovWbL
o9YZQdJbBDDTzev1kv+bLbl05qcLSXlpSLNUZQY6sYn6cS8q5Wb0i6EAF+rHDxy3
yZys0pVJiyyCIdtYkQe08W69y0eHfqwxqi8nGGGKwD6VLWgurvRVtBhH6kZKPpFk
tpLJTXytB42voM7HP/ikOZzdQN5ksnW0GbccUBoT4kdWC+wazzWv207XL2S5HYpL
aXVKPYQBfM0rEYEt5nLB++1rxstRgwJjZo4rwM9yx8ksK5NqcP8=
=R1eT
-----END PGP SIGNATURE-----