-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Mon, 20 May 2013 22:01:23 +0300 Source: gecode Binary: libgecode-dev libgecode-doc libgecode33 libgecodegist33 libgecodeflatzinc33 flatzinc Architecture: source all amd64 Version: 4.0.0-1 Distribution: unstable Urgency: low Maintainer: Kari Pahula <kaol@debian.org> Changed-By: Kari Pahula <kaol@debian.org> Description: flatzinc - constraint problem modelling language libgecode-dev - generic constraint development environment libgecode-doc - generic constraint development environment libgecode33 - generic constraint development environment libgecodeflatzinc33 - Gecode support for FlatZinc modelling language libgecodegist33 - Gecode Interactive Search Tool library Changes: gecode (4.0.0-1) unstable; urgency=low . * New upstream release (soname 33) * Standards-Version 3.9.4 (no changes necessary). * Compress debs with xz. * Make sure that the hardening flags get passed to gecode's build scripts. * Added build-dep libmpfr-dev. Checksums-Sha1: ef64ad6d6da1886caa4d4b515f8809322502cfb4 1448 gecode_4.0.0-1.dsc a1137f89fd527d47d183b3d8e38bc5d52a65b954 1867581 gecode_4.0.0.orig.tar.gz e03bf09673d7cdfb3510ed09c4530180950f19ba 12359 gecode_4.0.0-1.debian.tar.gz c52795d68cbb815954e614a6ca48d572cabe32cb 7882888 libgecode-doc_4.0.0-1_all.deb acd2fa2ebf5dc4e5f456fcff1853c111b9c85ffc 488230 libgecode-dev_4.0.0-1_amd64.deb 6f377dfae9f28a68281b7cfe5d84ea5868231ffb 1950902 libgecode33_4.0.0-1_amd64.deb 3fa18e232c5bd261e80a52c034d85892558aa31f 147850 libgecodegist33_4.0.0-1_amd64.deb ae3f2f5066bc3c450f495aea7d16977b0c13408a 186332 libgecodeflatzinc33_4.0.0-1_amd64.deb 96bb8ba86cb7c2463b96ed1d60ff41aa5dbaf60d 60708 flatzinc_4.0.0-1_amd64.deb Checksums-Sha256: a3f8c2c388e987955976ee1db5047dcb91b0e637b2604529ade1aa3ea7d6114a 1448 gecode_4.0.0-1.dsc c7cf91f295522b0815902cda4ad9dde763122c4b24c6322d981dbc9ec8ef786b 1867581 gecode_4.0.0.orig.tar.gz fcac65d3a250a3e6f1498b4dfaddd7073abf0f2ce53f2460eb958818da81009b 12359 gecode_4.0.0-1.debian.tar.gz d2e54d1afa65082db348e3a92e473bd14f8970d6a3ae99964a627c3fdf221a53 7882888 libgecode-doc_4.0.0-1_all.deb 3b17438809045252bb84d25ca953afa161dc45a2be8ae2b23947998cb79c303d 488230 libgecode-dev_4.0.0-1_amd64.deb 1ee43526e04d7a4be4d21d9ff69eacdbfb1f8639701348af1d8e89389b4dd83c 1950902 libgecode33_4.0.0-1_amd64.deb 712ab6c2bfd72d8164a121a925b6f927cbb7c38497efc0f6a45ee4d0deceaeb4 147850 libgecodegist33_4.0.0-1_amd64.deb 5a0c179aa6042791c2b849f5ab07aae124a3faa084fcafed85f7df87da029600 186332 libgecodeflatzinc33_4.0.0-1_amd64.deb 39b09d07ccb729b0ab4ab1b041373653db3ae7bb5ee68661f7f330ce6f2b0a2b 60708 flatzinc_4.0.0-1_amd64.deb Files: d480b5562ca699859cceca18898cc605 1448 libs optional gecode_4.0.0-1.dsc 6d1594b6d431d73bd386b31392b7cfcb 1867581 libs optional gecode_4.0.0.orig.tar.gz 416af23115491b1adcec8783fd7509ec 12359 libs optional gecode_4.0.0-1.debian.tar.gz 7bdb1145441c51d614e1777bef214e93 7882888 doc optional libgecode-doc_4.0.0-1_all.deb 8e180184dee4016e7810e8b4de1ac8ac 488230 libdevel optional libgecode-dev_4.0.0-1_amd64.deb dc476d20bea5a99a23ef1ac6361865a1 1950902 libs optional libgecode33_4.0.0-1_amd64.deb e4679ca638603b413579496452ff4700 147850 libs optional libgecodegist33_4.0.0-1_amd64.deb 5146ae388ed43d8b7131aad0afeadc60 186332 libs optional libgecodeflatzinc33_4.0.0-1_amd64.deb d3fde10b175d50ff093a34ccf939af53 60708 devel optional flatzinc_4.0.0-1_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iEYEARECAAYFAlGaddIACgkQeYl9593Atw2YaQCgzWq/6s6F3x9TDAhceqiu4vvf mlkAoJsaXA1F+dtjlRXWzb46xeus1RZc =ToiL -----END PGP SIGNATURE-----