-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 3.0 (quilt) Source: clasp Binary: clasp Architecture: any Version: 3.1.3-2 Maintainer: Debian Science Maintainers <[email protected]> Uploaders: Thomas Krennwallner <[email protected]> Homepage: http://www.cs.uni-potsdam.de/clasp/ Standards-Version: 3.9.6 Vcs-Browser: http://anonscm.debian.org/cgit/debian-science/packages/clasp.git Vcs-Git: git://anonscm.debian.org/debian-science/packages/clasp.git Build-Depends: debhelper (>= 9), dpkg-dev (>= 1.16.1~), libtbb-dev (>= 4.0+r233) [amd64 ia64 ppc64 ppc64el], pkg-config (>= 0.28) Package-List: clasp deb interpreters extra arch=any Checksums-Sha1: 9a261b64586092179cc3b327895b9b3521818ee2 520291 clasp_3.1.3.orig.tar.gz 63a8305e8a5dbbfc09ecef5c2bfcea5e3be8e326 7108 clasp_3.1.3-2.debian.tar.xz Checksums-Sha256: f08684eadfa5ae5efa5c06439edc361b775fc55b7c1a9ca862eda8f5bf7e5f1f 520291 clasp_3.1.3.orig.tar.gz e1030f3111d2c940da65048340850b53472e0de7107e48ee75988c0f5ed7d696 7108 clasp_3.1.3-2.debian.tar.xz Files: d3017281840e0d348af277c4624d27cd 520291 clasp_3.1.3.orig.tar.gz e9579a9fba5a386779a30223d276662d 7108 clasp_3.1.3-2.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJWEg64AAoJECeX33SmZpqpXGQP/2ja7+LO4joKQoKpTAhL3gHA K6Xk8CafisetgL6jifmW1wKFSMMF/anf9MxPNJUAvVddxvD6r13tII32rmcIE+4P 8W4TKtOa4SiqDTilVPC6bh8RTnVr9jyZQylfa7hnIjavFfcfm+NAxNsV4chpfgpn QPlU4QZRwrZNlQ0IDIpZKyP6Dn29xA2Bc5MbJlb3496Tbz6cxgAQ8YgFmLR/rtA3 6P73XIm7Av7dmV9ZY2AYDFcGGnGbxl+zAhSe3Cm/XulYaQ/wESG0oU+LrPCErlk2 vhfFapCs0/Gc0YgQDXQnVKsv9RsH1iKUFvRhZ+/O0N1HEnrMyeoQiH8uV46JhThB bb3vLh0di/s5fW8kcPYJ3717c4NoeFEQb9ieBY30rI1laatJpaDom/fP4I1aGPPe IJMPnUpMwYtcXlTBrJ5OE9v7XdSfL3C2v+qT4hJC5f/HFVkxYA4Ly61ngXK9sYHp rs6prmRzy+3M2rRqGoNwNKSLc2E5Xf1v0PmKzz2EXhy47YThPZZl6yCXCAblxthE ++sxXORn2b6pSkafowUgqb52TOwazYunVvtTfkv1mdG6Tm2tXtTKQdnuQ5SZNuqr r401PoomM4mWhnBjLDUkuuFngDA8DFJBvFdSMx5rffPW0YS48VBLJPgFpzxiY34r 8TR43Jr37m/upZyp5nW+ =eJwJ -----END PGP SIGNATURE----- Changes: clasp (3.1.3-2) unstable; urgency=medium * Circumvent g++-5 loop code generation bug. * Bug fix: "aspcud fails to find solution if optimization criteria are passed for some problems", thanks to Johannes Schauer (Closes: #800526). -- Thomas Krennwallner <[email protected]> Mon, 05 Oct 2015 07:43:55 +0200
