-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Sat, 29 Jul 2017 15:41:24 +0300 Source: gecode Binary: libgecode-dev libgecode-doc libgecode44 libgecodegist44 libgecodeflatzinc44 flatzinc Architecture: source amd64 all Version: 5.1.0-2 Distribution: unstable Urgency: medium 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 libgecode44 - generic constraint development environment libgecodeflatzinc44 - Gecode support for FlatZinc modelling language libgecodegist44 - Gecode Interactive Search Tool library Closes: 869696 869699 Changes: gecode (5.1.0-2) unstable; urgency=medium . * Use Debian's own Boost instead of the one included with Gecode. (Closes: #869696) * Pass --with-host-os=linux to configure to always use host_os=linux. (Closes: #869699) Checksums-Sha1: f2d1c49f580c4d437afef6f8e4dba8ed02e7d4f9 2156 gecode_5.1.0-2.dsc 1c5ca328abcec1e24543fbb45156f72082245310 14384 gecode_5.1.0-2.debian.tar.xz 5d92c5be293ff196812b5c448e6610abea480a9c 107058 flatzinc-dbgsym_5.1.0-2_amd64.deb ccd430b5c1686af0c6172a4b7dcc0d2167feb9f6 63082 flatzinc_5.1.0-2_amd64.deb 926ce1c863b149d2ea94f857a4b3dbd8817597c9 13928 gecode_5.1.0-2_amd64.buildinfo e38a547a642ef7bc2aceb325198c53e2bdbe4c96 487200 libgecode-dev_5.1.0-2_amd64.deb 1dae8b83752c973b72e69612be9a2607441d49fe 10546824 libgecode-doc_5.1.0-2_all.deb 9dc9861dead457f51a0cc7467249400f01eab5e4 35872280 libgecode44-dbgsym_5.1.0-2_amd64.deb 00bbd47c7f74def2cb2625499d9dafc8d2ce0556 2366986 libgecode44_5.1.0-2_amd64.deb 3bf49eeef28ba86a90db4bc5f942778f2f970461 1663810 libgecodeflatzinc44-dbgsym_5.1.0-2_amd64.deb 21401bce30aa118810cbc664d2720621351ead38 228906 libgecodeflatzinc44_5.1.0-2_amd64.deb 519b1c064d0848446aab617662ba5475ef5b6f07 3018238 libgecodegist44-dbgsym_5.1.0-2_amd64.deb 65b841b71ad37d066f1892edc7a84e9ce8bf6ae4 165230 libgecodegist44_5.1.0-2_amd64.deb Checksums-Sha256: 1346b7b786d4c430678ba8c295b16bbaf13df4d330eac7f48b17372bf5088f59 2156 gecode_5.1.0-2.dsc ec789bd2a4a11adf46e3ad9ce655faf9cd757482444cf22538756cf70c89b09b 14384 gecode_5.1.0-2.debian.tar.xz 61c5ecab39b6841a8fd5529defcf5f4abbf83ee2f0c8921fc31733f688d5b2f9 107058 flatzinc-dbgsym_5.1.0-2_amd64.deb 9a2c8bd491e8b100be27275e50b5bb5445722664503519402e68092b3018001d 63082 flatzinc_5.1.0-2_amd64.deb 9f0f110cd92b59190b8f5b37a303946c71b36340ad983caf83fac04d08eb553c 13928 gecode_5.1.0-2_amd64.buildinfo 0ca1bd85cb2d9ef6c3db2fdcd3d01390de73b6d30db23065da5f44e327c8409a 487200 libgecode-dev_5.1.0-2_amd64.deb 1151232e8b58d48bd524893ffa315816a56a5c63a79fcc18cd47a533037a005a 10546824 libgecode-doc_5.1.0-2_all.deb e6d1c8b7d996f5bba3d73accc0274edefc80356e4736cb24427c62b5926de070 35872280 libgecode44-dbgsym_5.1.0-2_amd64.deb 4b48d14d41917d5aae373824d0521724dfe66a6856e163647dc4af9e99beb10b 2366986 libgecode44_5.1.0-2_amd64.deb b0a46f6c79bcb43e58d47e94c86d6915f61c0cb64dd89b832f1cd9170a3b6995 1663810 libgecodeflatzinc44-dbgsym_5.1.0-2_amd64.deb abc2607d0537c5666231079fcc0db9721beec985ef905f98ec9ec3b27bbf6c78 228906 libgecodeflatzinc44_5.1.0-2_amd64.deb 3b5f7ea418f53b9bc175a8758ff0a6576a7b9c09bf3fd59c68a8228a1da08b34 3018238 libgecodegist44-dbgsym_5.1.0-2_amd64.deb 6f1bd29c57a8fc18cfe4b2a073b76eb3c9a2080c70618a0905f5b6beca8517e8 165230 libgecodegist44_5.1.0-2_amd64.deb Files: 2194a9e9ec9e2c6f210c120d7d10bee4 2156 libs optional gecode_5.1.0-2.dsc 7bd7e94c01d3cb4990e891c59d9c1960 14384 libs optional gecode_5.1.0-2.debian.tar.xz 8228eeba2010af51a66f4fd5fae8be00 107058 debug extra flatzinc-dbgsym_5.1.0-2_amd64.deb 2bb785ee913d9a4caa04d01e535bfa4b 63082 devel optional flatzinc_5.1.0-2_amd64.deb 19bd8457b406e48538c0403163fef04f 13928 libs optional gecode_5.1.0-2_amd64.buildinfo 6d92524c857d6c6fe8401adaa902831e 487200 libdevel optional libgecode-dev_5.1.0-2_amd64.deb d25f007a2e5a83ecf825fd3cf9a10255 10546824 doc optional libgecode-doc_5.1.0-2_all.deb 329428c13dcae2ff1c1e7959099033ec 35872280 debug extra libgecode44-dbgsym_5.1.0-2_amd64.deb 418e9c414c14fb75196f433c07820222 2366986 libs optional libgecode44_5.1.0-2_amd64.deb 23f75d0d487008b0ab862079e87455f4 1663810 debug extra libgecodeflatzinc44-dbgsym_5.1.0-2_amd64.deb 02ce14b1c813fbb0c6901632af800a11 228906 libs optional libgecodeflatzinc44_5.1.0-2_amd64.deb 7a2f79e01c6541cef298d3eade01046c 3018238 debug extra libgecodegist44-dbgsym_5.1.0-2_amd64.deb c117ad50434e64ca46f40ab7508ec5c1 165230 libs optional libgecodegist44_5.1.0-2_amd64.deb -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEECcOX/lMRGGlaUzRFhAhn7p2PJlwFAll8h/MACgkQhAhn7p2P Jlw+3BAAlv864wMy4VKirATZdSLaWlkegM0xSDpMLL5hWnzEuH0I2942EYoGQWq+ rtMs4Zf94hKKCsmEAPLegoXybasIZ8S2qxngobPfiXL9OmIu4dgRxd1XFPbhR2su br1fJsnIXz02bSlk7Ru3YHwGGoN4OC5mZBGE42gzM1r6ASpzuwWEFaHgQfraXrqE vWueGdX0qgvDg9rFSKcdWkXiiIej79txq8X2M6dDzqGgUxP7HSzjreKTnJm4rBgm NR9qlziF5yq3q5TM3XFYx9CAbdJWVX959cQa0eoUY/oAgV6W90LCuG22P8y0eE2i WY+JTkwePPZ8bMd8kln1oOdTWgtSzQkv64YSQ70XBCGlAZwY5SIY6+UGDs9gD5nP zEYLpwCESTvuaWAoURwobwnifD7YSOQnWWJ9+D2Lc0sLhf/54rT0rf85R4DzqdsW oeXqlfrTntpTTVGAZG+MA2WZVob9Lro71yxuMLIxVkVwofucExNSY4MKzSi71MK/ S771UXQyHDGQpRDcCrjtDP7EDvvVWOWHVvrSqVHLZb0ZDuQcWfWYwrqnHBrgRobj 7HFluLR0PAVX4c/5OxFcEY3D6eEje/XtBtuzu66VM5E8rCOFy0Nc3ZuUbQgl9yar IyhxjOIQIZW5ILs+w51Idm6cgT7N4HESBJte1cFIlVt7LD2WQe0= =XZPK -----END PGP SIGNATURE-----