Accepted gecode 6.2.0-2 (source) into experimental
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Wed, 01 Jan 2020 12:37:59 +0200
Source: gecode
Architecture: source
Version: 6.2.0-2
Distribution: experimental
Urgency: medium
Maintainer: Kari Pahula <kaol@debian.org>
Changed-By: Kari Pahula <kaol@debian.org>
Closes: 947444
Changes:
gecode (6.2.0-2) experimental; urgency=medium
.
* Add Breaks and Replaces on minizinc (<< 2.4.1) to properly move
/usr/share/minizinc/gecode to flatzinc package (Closes: #947444)
* Remove obsolete Breaks on libgecode-dev from flatzinc
* Update link to https://minizinc.org/ in flatzinc description
* Add shell script /usr/share/minizinc/fzn-gecode-gist and
gecode-gist.msc for invoking fzn-gecode with -mode gist.
Checksums-Sha1:
1178119b2b233d326438cef60c42fe404bac96e8 2156 gecode_6.2.0-2.dsc
1ab888013b82c4b1d986dc7931ecde73a143ad10 16172 gecode_6.2.0-2.debian.tar.xz
1db3180d3bf130c236aabe5583ec03ec728f375e 10622 gecode_6.2.0-2_source.buildinfo
Checksums-Sha256:
acb077842b9bd9d2650c08cb4e9384717fa1c3a0f78d60e03f0e26c8a7bf150b 2156 gecode_6.2.0-2.dsc
38cca91fa562c47f85f6184114ad17a0033e9d84b94408747ef0c4b051c8dc95 16172 gecode_6.2.0-2.debian.tar.xz
4842456d592b14e48df77ba9a18a506bff1913e7e546e4d735282ab25f891081 10622 gecode_6.2.0-2_source.buildinfo
Files:
86453462eae5d0f92816a4a17c28edcc 2156 libs optional gecode_6.2.0-2.dsc
6650b07294dbdb9c8e9e3d031e7e0b9e 16172 libs optional gecode_6.2.0-2.debian.tar.xz
b0878b8a1080012ced6bd28aa308da64 10622 libs optional gecode_6.2.0-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEECcOX/lMRGGlaUzRFhAhn7p2PJlwFAl4MdqcACgkQhAhn7p2P
Jlw+LQ//engZN4ClqL/hpXtqS/7J2Ts6jUU6ngjsYQACBpJgllA4y9TFbX8MAXwi
xKYwUWxG9UKdXStxLr2NIpsraQ6kis+rRDINXJCTHoILmkKZIXeA1jBC8J92mOgN
rJ7k01aKb4ZLkuQIGDuQ122xFYgkBdYqxA8cT/08l5iBll5qDW85VqAYiwY0utJs
jYZOcAlUtUfm2oqihzLhqpnXmL/Df5dR7K62He9Y6CxUzgx2qTP1eGSBam4Y5nq1
xF0+AoZmjkmevmxYQsblg6j3fc5UUKfqMitJnQPOKZiXRYshjg601tGwSJhRpmiS
vfHGLa4PFSenvQJVdXyojANn1YVoy2634+Q2fzXWxj/1GklZFR2mJK8RCpL4imKv
dKsZKWbuOoK7pKITSb/xNjUZs2JB4gIEf/ajTIN+HTFSEDK9w5v+CcjQIiqDJN/n
P88vuBT0p9nTQt/4N8TN5M2h1t1GgZ3HUm0+8XdgvQKQiKEVCPX8AeAcBgrf2rsJ
rU6gLoCN87U/miWYcIH1muQ4uRfC6SGzWn0saB8gUaSqz2TPFSqyjBLgDqUEfDLb
LBIiPSmtK4eGJPQNadDs06MRcevLP0bGj9VuAfljkl/ma7cyFJm2tsJ/JPt3+NeA
soV9Xi+NhyBdQHGfXtSquMhykfi2ABWuTGPIuYS1328p5r3NRc0=
=Rwam
-----END PGP SIGNATURE-----