Format: 1.8 Date: Tue, 18 Jul 2017 21:41:42 +0300 Source: gecode Binary: libgecode-dev libgecode-doc libgecode44 libgecodegist44 libgecodeflatzinc44 flatzinc Architecture: s390x Version: 5.1.0-1 Distribution: artful-proposed Urgency: medium Maintainer: Launchpad Build Daemon Changed-By: Kari Pahula 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: 9f55c7bcee864dec84fa127b71685d1652ae0929 110280 flatzinc-dbgsym_5.1.0-1_s390x.ddeb c22b7d73b5f32ce14c5d6a239637a28d2ace85bc 15272 flatzinc_5.1.0-1_s390x.deb 8ed8a11b5ba525e65c349afae63acdce213a8466 13644 gecode_5.1.0-1_s390x.buildinfo e7a7124ed9369626d62fcad4c95fe7190e5862b9 491408 libgecode-dev_5.1.0-1_s390x.deb 600d71efdd70569db2499eaf493e8abaed6296df 37188736 libgecode44-dbgsym_5.1.0-1_s390x.ddeb 8ba54e7a8e4f2a93935f42f8bbb397c21267e9f1 2097846 libgecode44_5.1.0-1_s390x.deb 9aaa6f3d2d12e575ba93743eebebfb0f5245276b 1692528 libgecodeflatzinc44-dbgsym_5.1.0-1_s390x.ddeb 0f42a16b8593a6ed01b545acad0905915ea28b6f 164374 libgecodeflatzinc44_5.1.0-1_s390x.deb 508f257e9e9a20f7b5b155cdb34d8fcbfc8a9ace 3151776 libgecodegist44-dbgsym_5.1.0-1_s390x.ddeb 93fe783aaf1670753afa0831eb457fe4fc73e225 110282 libgecodegist44_5.1.0-1_s390x.deb Checksums-Sha256: 1a4b7ac4b811059e53f29a393e5e329515afb3fb3347ca72ba36c3083f19b4e8 110280 flatzinc-dbgsym_5.1.0-1_s390x.ddeb fae3d00eea1ab3d30c3117d3a17922a9245de01ba4ea8b8a25bf29071f38e5d8 15272 flatzinc_5.1.0-1_s390x.deb 2feadd6d986da4177999d8f05b1c0b7eb19c8e0791fe2b6e0bfde3fb192e6a72 13644 gecode_5.1.0-1_s390x.buildinfo 95da4c675cdf2f638f7d2f598ffb8ca2c768a86a4f0cc8517eac77423fb6440a 491408 libgecode-dev_5.1.0-1_s390x.deb 676b85742c2ea0c2d68179b37679b06e0c13b72c4a849a588b78a132a6130348 37188736 libgecode44-dbgsym_5.1.0-1_s390x.ddeb 175960357e8a2e51e1a4242507ddb0053a05c266dfd4e81550181a6cda846b30 2097846 libgecode44_5.1.0-1_s390x.deb 179243292a6987dbc679001e8ef7134cb187f7fbefb2f8727fb1c9ce4a014812 1692528 libgecodeflatzinc44-dbgsym_5.1.0-1_s390x.ddeb f85a3daed1bcb9dbf504c7076c237227aa22df6a27fa6b91b5bc73b837119a0d 164374 libgecodeflatzinc44_5.1.0-1_s390x.deb 42a93feef305a753256812fc25e0612cc00d4427294fb4f801b3e370ebe3291b 3151776 libgecodegist44-dbgsym_5.1.0-1_s390x.ddeb 1ab23ac394136bbb5ff79a0badd0a6101179ecc342d12fdc195aab276370227f 110282 libgecodegist44_5.1.0-1_s390x.deb Files: f80e3994a06978975346702249d23aca 110280 debug extra flatzinc-dbgsym_5.1.0-1_s390x.ddeb 933f499fd7bcfddcf4fc8b0490ff5c81 15272 devel optional flatzinc_5.1.0-1_s390x.deb 0ef5105ce20ac5d5a8e9578e9a84cab6 13644 libs optional gecode_5.1.0-1_s390x.buildinfo 308b7723e75db47be54b33587d322f35 491408 libdevel optional libgecode-dev_5.1.0-1_s390x.deb c3afec6ccc0eb9101cca24077765f887 37188736 debug extra libgecode44-dbgsym_5.1.0-1_s390x.ddeb 076e16936005fa9df299c36830580d18 2097846 libs optional libgecode44_5.1.0-1_s390x.deb 88990abd38b2f199f10fbe6f560ff069 1692528 debug extra libgecodeflatzinc44-dbgsym_5.1.0-1_s390x.ddeb 2198c33642e7fe2712d1f1810b02fa51 164374 libs optional libgecodeflatzinc44_5.1.0-1_s390x.deb 4d037e544fbda99e8d321ce37bc76b5b 3151776 debug extra libgecodegist44-dbgsym_5.1.0-1_s390x.ddeb 69a7e5c3af3edaf34bdb7eb5d9e71eab 110282 libs optional libgecodegist44_5.1.0-1_s390x.deb