Format: 1.8 Date: Wed, 19 Jan 2022 14:36:04 +0100 Source: clasp Binary: clasp Built-For-Profiles: noudeb Architecture: s390x Version: 3.3.5-4ubuntu1 Distribution: jammy-proposed Urgency: medium Maintainer: Launchpad Build Daemon Changed-By: Lukas Märdian Description: clasp - conflict-driven nogood learning answer set solver Changes: clasp (3.3.5-4ubuntu1) jammy; urgency=medium . * d/p/use-system-catch-for-glibc-2.34-compat.patch: Fix FTBFS with glibc-2.34 - Add catch v1 build-dependency - Make use of system provided catch v1 (CTest) library Checksums-Sha1: b4e400870f95e8ba3f7fb6059762d61999fc110c 5993912 clasp-dbgsym_3.3.5-4ubuntu1_s390x.ddeb d7d228964a6c35a684a4af0422625e9bee958f39 6749 clasp_3.3.5-4ubuntu1_s390x.buildinfo 0990bf4377f6c824d8b1d2a8d24f30c1d4996a2e 610828 clasp_3.3.5-4ubuntu1_s390x.deb Checksums-Sha256: 8f3cb0b8c4fe57692f17d445117ecb53acf9108c29c384b8d691f105d84dcc95 5993912 clasp-dbgsym_3.3.5-4ubuntu1_s390x.ddeb c886e0dadd6ff6a708c58b4712b149047cd5359ee33167510c2b372d8d869bf8 6749 clasp_3.3.5-4ubuntu1_s390x.buildinfo 83adbcb26381fd99c2cf449ac844af3752db1d742e49eff2242c89d72af96c31 610828 clasp_3.3.5-4ubuntu1_s390x.deb Files: d14f0ff6f94df38195b8c06ef5a51710 5993912 debug optional clasp-dbgsym_3.3.5-4ubuntu1_s390x.ddeb 82c0c2e1744b97d09663245e454c16d3 6749 interpreters optional clasp_3.3.5-4ubuntu1_s390x.buildinfo e61f9f4225ee43ab8468d10a9ce0f986 610828 interpreters optional clasp_3.3.5-4ubuntu1_s390x.deb Original-Maintainer: Debian Science Maintainers