Format: 1.8
Date: Thu, 20 Apr 2023 09:30:46 +0200
Source: clasp
Binary: clasp
Built-For-Profiles: noudeb
Architecture: riscv64
Version: 3.3.5-4.2build1
Distribution: mantic-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@riscv64-qemu-lgw01-025.buildd>
Changed-By: Lukas Märdian <slyon@ubuntu.com>
Description:
 clasp      - conflict-driven nogood learning answer set solver
Launchpad-Bugs-Fixed: 2017091
Changes:
 clasp (3.3.5-4.2build1) devel; urgency=medium
 .
   * No-change rebuild to fix FTBFS via lto-disabled-list (LP: #2017091)
Checksums-Sha1:
 e3c9bd194a67533a843c5d5a54ab8f8ea1908880 5392614 clasp-dbgsym_3.3.5-4.2build1_riscv64.ddeb
 9e38c1cb0dc1074880031172af07d6c1aeea0bbe 6242 clasp_3.3.5-4.2build1_riscv64.buildinfo
 b7181e6eacdce8602c6678019f5b172772feacb8 662810 clasp_3.3.5-4.2build1_riscv64.deb
Checksums-Sha256:
 e2367a0a3318b679f4fda1ddadc994c9c00bf78e8cfe70f00ab08c7bd0549921 5392614 clasp-dbgsym_3.3.5-4.2build1_riscv64.ddeb
 cc8089897eea9e6763dc3e271eed50b99c1e2f60c4dbee9faea94e8de61601e8 6242 clasp_3.3.5-4.2build1_riscv64.buildinfo
 51596d9663451d3667ad20041ea128016b09c174a846062852d6004572f68168 662810 clasp_3.3.5-4.2build1_riscv64.deb
Files:
 18c851ea314b1130d667afde084a346b 5392614 debug optional clasp-dbgsym_3.3.5-4.2build1_riscv64.ddeb
 e639d44e89db027677399c44865c9b5f 6242 interpreters optional clasp_3.3.5-4.2build1_riscv64.buildinfo
 2b08451194ae120bf248ef78fb11995d 662810 interpreters optional clasp_3.3.5-4.2build1_riscv64.deb