Format: 1.8
Date: Sun, 10 Dec 2023 19:29:46 +0100
Source: cvise
Binary: cvise
Built-For-Profiles: noudeb
Architecture: amd64
Version: 2.9.0-2
Distribution: noble-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos03-amd64-010.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:
 c953effebd3ceca2042e590a6baae7e0bbbdb84f 131742402 cvise-dbgsym_2.9.0-2_amd64.ddeb
 83e189892ee2dbd344d8fb7ad893a9e2cdf51b97 8393 cvise_2.9.0-2_amd64.buildinfo
 00c693830dbae728bee88174425f3d2b1aef4b12 1860646 cvise_2.9.0-2_amd64.deb
Checksums-Sha256:
 7692bb0b01bbf269bd6871a06d3695fe6dd7161d699f4e550a066871e235fdbc 131742402 cvise-dbgsym_2.9.0-2_amd64.ddeb
 00f95857ddf4b0c41251edfc1e81ac67d6a8b1ae28cb367f8cccf264ec6351dc 8393 cvise_2.9.0-2_amd64.buildinfo
 1cf6f647b2174f09b9da8c254e56d98d0308fdaea1a0dfe4528f108e0fb137b3 1860646 cvise_2.9.0-2_amd64.deb
Files:
 8da92c7e05eacf6e5fd8a48c53c3963c 131742402 debug optional cvise-dbgsym_2.9.0-2_amd64.ddeb
 2feb99b4a91bca85da6d1097209d6eff 8393 misc optional cvise_2.9.0-2_amd64.buildinfo
 04dda0416432af0f2ff37dae76089880 1860646 misc optional cvise_2.9.0-2_amd64.deb