Format: 1.8
Date: Wed, 19 Jan 2022 14:36:04 +0100
Source: clasp
Binary: clasp
Built-For-Profiles: noudeb
Architecture: riscv64
Version: 3.3.5-4ubuntu1
Distribution: jammy-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@riscv64-qemu-lcy01-090.buildd>
Changed-By: Lukas Märdian <slyon@ubuntu.com>
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:
 eeb86326a6fd54741f512d159136796fa013b906 5164340 clasp-dbgsym_3.3.5-4ubuntu1_riscv64.ddeb
 c617f5c52d7a479c69103d9fbf8ee53db3b38bff 6678 clasp_3.3.5-4ubuntu1_riscv64.buildinfo
 6159e7807153ed8961b1574e0480e5852c99797d 665744 clasp_3.3.5-4ubuntu1_riscv64.deb
Checksums-Sha256:
 9fe4ba5f8697618e5012ee8a15ba3a7ef2bd6d516365f6eebc2f46c4cf7b024c 5164340 clasp-dbgsym_3.3.5-4ubuntu1_riscv64.ddeb
 ba5533b1f3f66706971d1977ba989a2965bff1b445e0f8a77388343c3348a84c 6678 clasp_3.3.5-4ubuntu1_riscv64.buildinfo
 aad43c26e038cd765ddfee4af9abc3a975c136d552ceb257e9e3232f79910c30 665744 clasp_3.3.5-4ubuntu1_riscv64.deb
Files:
 0f4e4b2d37bc4260301ab44b691dba42 5164340 debug optional clasp-dbgsym_3.3.5-4ubuntu1_riscv64.ddeb
 87e92702a5e6de7ffdf0fa42c59d4874 6678 interpreters optional clasp_3.3.5-4ubuntu1_riscv64.buildinfo
 58c15a8ae66cdccc7096480441f982c3 665744 interpreters optional clasp_3.3.5-4ubuntu1_riscv64.deb
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>