-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Thu, 17 Nov 2011 20:17:30 +0200 Source: gecode Binary: libgecode-dev libgecode-doc libgecode30 libgecodegist30 libgecodeflatzinc30 flatzinc Architecture: source all amd64 Version: 3.7.1-3 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 libgecode30 - generic constraint development environment libgecodeflatzinc30 - Gecode support for FlatZinc modelling language libgecodegist30 - Gecode Interactive Search Tool library Changes: gecode (3.7.1-3) unstable; urgency=low . * Patch channel constraint posting bug (http://www.gecode.org/pipermail/users/2011-October/003453.html) * Patch sorted constraint seg faults with empty arrays (http://www.gecode.org/pipermail/users/2011-November/003456.html) Checksums-Sha1: e6380be7b0ffff07888022b0f362ff2c486c4d80 1431 gecode_3.7.1-3.dsc bc309cd74d2dca92335a3f88eee122d27a76bb05 12490 gecode_3.7.1-3.debian.tar.gz f1779eb7d0c4b12cced5e2a8b02020744cf74a21 12017538 libgecode-doc_3.7.1-3_all.deb 65e69eb4b363f914b63234e47cd84137103d858f 532442 libgecode-dev_3.7.1-3_amd64.deb 4589b3e19e7b050e97f0352e98c14e3c5caf8fec 2911752 libgecode30_3.7.1-3_amd64.deb 0e2ffc080f364e487463e89cca9fc726d4e4db02 172148 libgecodegist30_3.7.1-3_amd64.deb b2815fe4ba3edeb936ca5c79633d7184322a1aa7 185994 libgecodeflatzinc30_3.7.1-3_amd64.deb 8eb877f715ccd85ffbb227f17423f7135bb2279d 58930 flatzinc_3.7.1-3_amd64.deb Checksums-Sha256: 499fc697378e1b5abae3729915d41669e271bebed818fed912a33c740effb6a0 1431 gecode_3.7.1-3.dsc bfb24a9a4995a19cb347a48a8a1af5d159a9981b2915534e8a814203989b76fa 12490 gecode_3.7.1-3.debian.tar.gz d50608052c73582c2197ea6763901bcd20c464bf65f6beae1213cad850444024 12017538 libgecode-doc_3.7.1-3_all.deb 8ca72bb47a5f6d8d875815ef0383dc9c46fb01b1c127d32a1d3308d1ca9c2842 532442 libgecode-dev_3.7.1-3_amd64.deb 060a4b26c8e69f24a05e9abf5b2fab38b8cbebdfe6749864e2def697c9ae6b77 2911752 libgecode30_3.7.1-3_amd64.deb 662098da39f4d9fcfd0e5925716513c191b0cb0effca3452399901d68b3784fb 172148 libgecodegist30_3.7.1-3_amd64.deb e0f11d1886baa6060bb60fb83ae82c00ba3c64d2b00ce2c4df61da48a560ba13 185994 libgecodeflatzinc30_3.7.1-3_amd64.deb 479e127ac2caebac559ff9590c53783e93bed65cf837f49fbf0d72c6d729ddb0 58930 flatzinc_3.7.1-3_amd64.deb Files: 947cf706e1a2e746872319dd4e42a2fe 1431 libs optional gecode_3.7.1-3.dsc 830788154cd1885ff570e4b90f47eec5 12490 libs optional gecode_3.7.1-3.debian.tar.gz aa5d5f1c5ad6862dcba16a39a867cb7d 12017538 doc optional libgecode-doc_3.7.1-3_all.deb 224c2ae4df89b6991d096706cd34eaa5 532442 libdevel optional libgecode-dev_3.7.1-3_amd64.deb 5cd3b6163c7145d41af3f626186fc2a0 2911752 libs optional libgecode30_3.7.1-3_amd64.deb 9e376583048aeecf404d04d39da550f8 172148 libs optional libgecodegist30_3.7.1-3_amd64.deb 09535943280267e7f2819162b96ba36d 185994 libs optional libgecodeflatzinc30_3.7.1-3_amd64.deb df55bf5d96fde76f051013c5cc21944b 58930 devel optional flatzinc_3.7.1-3_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) iEYEARECAAYFAk7Fd3sACgkQeYl9593Atw2dTgCfYIHf8f3r59j96wRCh2lsWgkY W10An0U7Rr8eIJIAVr8FA4K/4q1iyvoV =LuF+ -----END PGP SIGNATURE----- Accepted: flatzinc_3.7.1-3_amd64.deb to main/g/gecode/flatzinc_3.7.1-3_amd64.deb gecode_3.7.1-3.debian.tar.gz to main/g/gecode/gecode_3.7.1-3.debian.tar.gz gecode_3.7.1-3.dsc to main/g/gecode/gecode_3.7.1-3.dsc libgecode-dev_3.7.1-3_amd64.deb to main/g/gecode/libgecode-dev_3.7.1-3_amd64.deb libgecode-doc_3.7.1-3_all.deb to main/g/gecode/libgecode-doc_3.7.1-3_all.deb libgecode30_3.7.1-3_amd64.deb to main/g/gecode/libgecode30_3.7.1-3_amd64.deb libgecodeflatzinc30_3.7.1-3_amd64.deb to main/g/gecode/libgecodeflatzinc30_3.7.1-3_amd64.deb libgecodegist30_3.7.1-3_amd64.deb to main/g/gecode/libgecodegist30_3.7.1-3_amd64.deb