-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Thu, 22 Oct 2020 19:32:32 +0300
Source: minizinc-ide
Architecture: source
Version: 2.5.1-1
Distribution: unstable
Urgency: medium
Maintainer: Kari Pahula <kaol@debian.org>
Changed-By: Kari Pahula <kaol@debian.org>
Changes:
minizinc-ide (2.5.1-1) unstable; urgency=medium
.
* New upstream release.
* Copy CP profiler integration files from
https://gitlab.com/minizinc/cp-profiler-integration as a patch.
Checksums-Sha1:
4bfbf9a074223d35c810dd407abdd706748b36b4 1766 minizinc-ide_2.5.1-1.dsc
7eb3378e5ba59dd197a0ad7860ed335971b270d7 795362 minizinc-ide_2.5.1.orig.tar.gz
4cde982927a935339aa2ebd2050bf24855b19138 13016 minizinc-ide_2.5.1-1.debian.tar.xz
2bedb6478d904c939f93e7ad3bc78ebdddb364a7 13582 minizinc-ide_2.5.1-1_source.buildinfo
Checksums-Sha256:
41c7bf0c5075f2f3f5a0acf5c13508e86b315dd4851dd871177bdb9802bb7736 1766 minizinc-ide_2.5.1-1.dsc
5ef9122cd7b31b65c26a5e55c40dfddd5fcbb835453f5e8eaf8897de35609bd0 795362 minizinc-ide_2.5.1.orig.tar.gz
2d9d51ce71ba8e0d83023176b3bf359e94bf1cc83edb30c6edbcd95fea3f207e 13016 minizinc-ide_2.5.1-1.debian.tar.xz
617b6a04089e88675d97b9a05a32744a7351e2431a83a65f49fcb6ca0b5f5682 13582 minizinc-ide_2.5.1-1_source.buildinfo
Files:
87026e3b5911781d109e22df482aaf54 1766 devel optional minizinc-ide_2.5.1-1.dsc
c32a3d9192454c33936ae811c4cd97e4 795362 devel optional minizinc-ide_2.5.1.orig.tar.gz
e7a814986eca6c94857ee9fbbeb891e9 13016 devel optional minizinc-ide_2.5.1-1.debian.tar.xz
ac67911a4ba5fc4150af95e68b6c1ccd 13582 devel optional minizinc-ide_2.5.1-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEECcOX/lMRGGlaUzRFhAhn7p2PJlwFAl+RtnsACgkQhAhn7p2P
Jlyudw//dPKZGfP1Z/xkYLIVbZUSh/epgFdxoovu7XceEAIcSq/TMlzx2rwIW4P1
ol+PiE1YQgbVcZAZXkJYMZHmL/Hx+TbXi+YYJvjOm+OO54coFHolizxAsLBXGqU5
FjJMBVk29RagxyR5EdQ8c6vBes5gIpSZFl/9VUSs9sT0OriDSesVKB7EouXe4bxo
Cqnh8036EPUmEtu1Z6n8cpxcA0PImmYOdWTlcx549gfSg04TBju9rjdoF0DWQ54e
7xa9bVmkCC6QMmxbTwUnAjgWOZ68840bYeCJyAMubamKPMd/EEg5i9cbAi9+h/49
eAnbBi0gFcG4X6+XSaXkV/NhwUpGO5Xjfswc17y4ZMYNp+fWrSmTmxPrNr86egrX
/fDJYAelFEFo8rSPu3L6w9VzXFUApkku0g99RZs5YLPc46cvsj6VZgG42MBZNL0O
Q6LSZQaBaXrmhz4zh2iPNF8glCIQ15Ed9620nfCjrrioqi54e2bGMcC1LSKC8GGP
fqc5vKdlXzyy/oq3qwRhTZo+DPiPl2/VN2UyyyF5DQ5heRksl+rfGxkA6ZldmVu0
OYTekG8EYFr8oZ5xPDx99H/koTCfoBDs1v3JO1bZvQ/fJF60UOUeZk+YQKqMaKK7
73Y5MhuGgrpkqcgAsI1WjqycW8KeYv5pi0aOhs5BR8yEqNyNR3k=
=tHQN
-----END PGP SIGNATURE-----
