Format: 1.8
Date: Sun, 10 Dec 2023 19:29:46 +0100
Source: cvise
Binary: cvise
Built-For-Profiles: noudeb
Architecture: riscv64
Version: 2.9.0-2
Distribution: noble-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos03-riscv64-053.buildd>
Changed-By: Matthias Klose <doko@debian.org>
Description:
 cvise      - super-parallel Python port of the C-Reduce project
Changes:
 cvise (2.9.0-2) unstable; urgency=medium
 .
   * Build using LLVM 17.0.6.
Checksums-Sha1:
 e8ee5a8d572d02046cc955607be7c1fba4e7d817 139715366 cvise-dbgsym_2.9.0-2_riscv64.ddeb
 cc31bd349d4ae481346ac9d785a9996779d6461c 8142 cvise_2.9.0-2_riscv64.buildinfo
 3dd214a5f4349eba34eb8eb9fbaefedb452640f6 3748480 cvise_2.9.0-2_riscv64.deb
Checksums-Sha256:
 43920dd4d31baf5dc1d5b3cf9bdef140d16affb13a73244784002f7f958d86c8 139715366 cvise-dbgsym_2.9.0-2_riscv64.ddeb
 7782865cd56ccc80f4901c526a32f7ba43937528b21eb2db7411c97375047ef0 8142 cvise_2.9.0-2_riscv64.buildinfo
 dd84fb3ffeae0e9c9b7ea4a2238eb30da1edddb6c2e0534fcd4cfb26b5972232 3748480 cvise_2.9.0-2_riscv64.deb
Files:
 01a0e5d7e76034b1bc6c6f8bd2d8b17e 139715366 debug optional cvise-dbgsym_2.9.0-2_riscv64.ddeb
 e8a0bafbee0b85bea1d1b18d69863e0c 8142 misc optional cvise_2.9.0-2_riscv64.buildinfo
 3535187a5c250823444998abcedeb3ae 3748480 misc optional cvise_2.9.0-2_riscv64.deb