-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Tue, 18 Jul 2017 21:41:42 +0300 Source: gecode Binary: libgecode-dev libgecode-doc libgecode44 libgecodegist44 libgecodeflatzinc44 flatzinc Architecture: source amd64 all Version: 5.1.0-1 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: 861949 Changes: gecode (5.1.0-1) unstable; urgency=medium . * New upstream release (soname 44) - fzn-gecode seems to work correctly now. (Closes: #861949) * Standards-Version 4.0.0 (no changes necessary). * Drop patch bison-3-support since upstream updated their build with similar change. * Remove mzn-gecode from flatzinc since mzn-fzn provided by minizinc provides that functionality. * Remove /usr/share/gecode/mznlib from flatzinc since minizinc comes with its own copy of it. * Add symlink /usr/bin/flatzinc to fzn-gecode. * Add recommends on minizinc to flatzinc. Checksums-Sha1: 535606245d4a7123f10ff4debf255fef1bb8a1d9 2142 gecode_5.1.0-1.dsc fdcdeb55a8b10046ec8b9e7c0ea24fad89c7f71b 3213603 gecode_5.1.0.orig.tar.gz a013234bbcd792e9b3db1757becfba9799436db9 13036 gecode_5.1.0-1.debian.tar.xz 81c17ac59c5f54a88470c09886fbb0fd4883c549 107098 flatzinc-dbgsym_5.1.0-1_amd64.deb 1f9edcba36b1a34c14b3a7f702e8be185e5e28d5 62994 flatzinc_5.1.0-1_amd64.deb 7d63f4b770d2e44c493a3601557d5e39fd2a5b88 13882 gecode_5.1.0-1_amd64.buildinfo 31fd1507a8c4c935d0da74e961c76ffb5e7389a1 538978 libgecode-dev_5.1.0-1_amd64.deb 15aa77d1f407032819675ef2b347df17f716c20a 10549298 libgecode-doc_5.1.0-1_all.deb 0ee73d63df58df46c95de743dd62e3192d49d097 35877042 libgecode44-dbgsym_5.1.0-1_amd64.deb 2ccdaab691aaad95b12a763e196ccb5cd64640c2 2362192 libgecode44_5.1.0-1_amd64.deb 70202869f44c3d1b6badb20b7e5923ecfe63b7ae 1663514 libgecodeflatzinc44-dbgsym_5.1.0-1_amd64.deb bd48d19b1092054e02c021c7212aeee54aa6931d 228742 libgecodeflatzinc44_5.1.0-1_amd64.deb c6b5710f2132a1a7f49dfac9af29a8ea59af6261 3017666 libgecodegist44-dbgsym_5.1.0-1_amd64.deb b7ef8b6de565d44b2ac759658931c6616e13bebd 165242 libgecodegist44_5.1.0-1_amd64.deb Checksums-Sha256: da468883e02c9fdb24d1b45bee06977be4bf747ccd842c7b7fa603999daeaeb0 2142 gecode_5.1.0-1.dsc f9885f97e0f80b54eaf1a8f9d0c419d831229a689619f6429c6148f5c50740d0 3213603 gecode_5.1.0.orig.tar.gz 38ec97c548f184da23687326ef823b0aa58fd60815c656a31378138dc72e7730 13036 gecode_5.1.0-1.debian.tar.xz 4878d4c5de636bde090c9217e0a114f944d41cfbb83f3bfcfbd51ff204819983 107098 flatzinc-dbgsym_5.1.0-1_amd64.deb af2904043709bc784fcc2bd7d766f02554ca15d38b6388ba77b0a22253a76953 62994 flatzinc_5.1.0-1_amd64.deb 149bf6f506bda0c96577607f2c777ed9b33f9ad72266a2a70a7c8753bd3e6bdd 13882 gecode_5.1.0-1_amd64.buildinfo 9991e8541f5d584f1385c41c61ec83c0da289b097778ea73fc1c01ff7ec983ba 538978 libgecode-dev_5.1.0-1_amd64.deb 072c42f9942d18ab124366ec015127759b197b2e5694aea8998e47c5833e1d08 10549298 libgecode-doc_5.1.0-1_all.deb 6c3389aac34a1d1ff14a747b0c1517f62c6bd6deff9c511ad5afba01edfd30b3 35877042 libgecode44-dbgsym_5.1.0-1_amd64.deb 1b620cd618a28427d7fb5458dd3210ffd35f6081d151194ef99de21c5960ec15 2362192 libgecode44_5.1.0-1_amd64.deb 0ff85967c2a330da72b3e6fe1e9588ba3f7ad4c1b799016d4cf9d0da768e0735 1663514 libgecodeflatzinc44-dbgsym_5.1.0-1_amd64.deb 39bfe9ffa312853442fe10c3cd4bb20a2898a2b958920943d76d6ff880eb7df7 228742 libgecodeflatzinc44_5.1.0-1_amd64.deb 267ab73e65b85ba7c5d1aa4db92acf7fa49da732e7a486d2edb260e139df0957 3017666 libgecodegist44-dbgsym_5.1.0-1_amd64.deb d064d37bc5c8ebd815ba8d306fea75da362af7237adfac58799c5d95ef237147 165242 libgecodegist44_5.1.0-1_amd64.deb Files: 832a1bf1cde726484b642b73b6c4f1cc 2142 libs optional gecode_5.1.0-1.dsc 79674c35d0af68d6ef8854da756792eb 3213603 libs optional gecode_5.1.0.orig.tar.gz b74674dcf7f3833b87d6eeb80b3d2d30 13036 libs optional gecode_5.1.0-1.debian.tar.xz 5aac2e41c7485c519efb49c1ff0a37f8 107098 debug extra flatzinc-dbgsym_5.1.0-1_amd64.deb a0461e9c1a1839ab01621834dc672ea5 62994 devel optional flatzinc_5.1.0-1_amd64.deb 25bb65fb34ec88fb43696f8419d64923 13882 libs optional gecode_5.1.0-1_amd64.buildinfo 29c91cb7d74be953f7e98d388fc79e8e 538978 libdevel optional libgecode-dev_5.1.0-1_amd64.deb c11f5fdc835f3a3d90e9a4d5128eaaa4 10549298 doc optional libgecode-doc_5.1.0-1_all.deb d4ac53fe6c2845c255299e1a9e3b0a55 35877042 debug extra libgecode44-dbgsym_5.1.0-1_amd64.deb 30e7b980bea84655537871176ddcc966 2362192 libs optional libgecode44_5.1.0-1_amd64.deb 3fa6e77852ed611c5a57da72e1dc420a 1663514 debug extra libgecodeflatzinc44-dbgsym_5.1.0-1_amd64.deb 359294c612eae59dde851dfc4ece4588 228742 libs optional libgecodeflatzinc44_5.1.0-1_amd64.deb dbc8d69004a00204f7a7bd1e5ceaefe4 3017666 debug extra libgecodegist44-dbgsym_5.1.0-1_amd64.deb 492aef3ccf5b29a85a248168a29bfa3f 165242 libs optional libgecodegist44_5.1.0-1_amd64.deb -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEECcOX/lMRGGlaUzRFhAhn7p2PJlwFAlluYAoACgkQhAhn7p2P Jly6Ow//W/fob5eu0eXm9rlyRZwoF0J6PQqe3PmyrSzySGDg4bVH2cisrT0+dAQ+ jIw/uZ/UVKH3FV0c62tXvh+XjyP7iKEb4+2Gnczs0ozHWyj/H+Wg6qVUCAl1jXPf VO6k1QiyCYWZcwYJvHzlwW5vGc9f3FBw8T9uA0YVt2KRL5dEQsgDPsiiTUu3wEK3 c2UcdQS4edQtWYvR/5m8//kmF6iellkB4tHLRpulFRB+svf1pX6zVdvPIQ/pO5q1 2pHDN9up22burOlCFl6lFQYYS40bIBgen/uBfL9aOTknOpsgfMvVrxX2+nqVmVgM RfFg11jVGuErbKwszz/xGPHVgXr+T02PqdF5IzwgUc0IDqwPvao0Ijw0pAp6UWJe NMgHuqWJp70ELFYfWzBsSLWO19X5i3B2KLMtBlOEtbERkExel5YlY5JiBspFdBql K0loTl+lVY74OUT3jEDInwH0+wJhMdqETYwC0kWRTxAaNW54L5CXIUoAbAtzNFoL HOS9SZRlSXlaaFmYcFsSUq8XEcrXz/UWwM/k1IaWS7goROvCVkiRQMrll8pLWnZJ GItHRDDxSakGzEi9zziwnJD8TMcolIg0AV4h8xOfcAVf94j6R8WJoiMmCEExjQmh S2wDozCX47YuVuQumE2A42MR/ekl7ec/Bxyyw7kVluHVikm5wDo= =B7h1 -----END PGP SIGNATURE-----
