-----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-----
