-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: creduce
Binary: creduce
Architecture: any
Version: 2.11.0~20231125-1
Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org>
Uploaders: Matthias Klose <doko@debian.org>
Homepage: https://github.com/csmith-project/creduce
Standards-Version: 4.6.2
Build-Depends: debhelper (>= 13), flex, libedit-dev, zlib1g-dev, llvm-17-dev, libclang-17-dev, libclang-cpp17-dev, clang-17, clang-format-17, libbenchmark-timer-perl, libfile-which-perl, libregexp-common-perl, libexporter-lite-perl, libgetopt-tabular-perl, libterm-readkey-perl, frama-c-base <!nocheck>
Build-Conflicts: kcc
Package-List:
 creduce deb devel optional arch=any
Checksums-Sha1:
 f4411403a6ed6f3ce01c7b7fb1879b6177bde842 484288 creduce_2.11.0~20231125.orig.tar.xz
 bd840c4be0b138fe128aaed68906d7eac80639e8 7768 creduce_2.11.0~20231125-1.debian.tar.xz
Checksums-Sha256:
 da778e8931f01c58ba13e4fbb96f100149d9de813fadc692df2ae8306d1c5935 484288 creduce_2.11.0~20231125.orig.tar.xz
 d044abf4ce403920827295cc61c19f602ea7ceffb2dd4de7a2ddb9e171fd18a9 7768 creduce_2.11.0~20231125-1.debian.tar.xz
Files:
 bbe12059bbe873c7dbb283cf96aeca5f 484288 creduce_2.11.0~20231125.orig.tar.xz
 00c4006844be77ca9d47613efc786890 7768 creduce_2.11.0~20231125-1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQJEBAEBCgAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAmVhsXkQHGRva29AZGVi
aWFuLm9yZwAKCRC9fqpgd4+m9Q/WD/wKqYzpkdAmK/KVly8f6wpKbaALTga5Mlgh
IXaNirQD18ifMZBKSuW568V/KeRIRu2qAtfQRcprNqTZ3M070lgl2xdI8Vz8wk9g
8L8zG428hOeN2baxHLfYFk6K+stSiCMZkTvRjqHkS3i/n8bFBuduSCfatWwY/7Ky
CQqwst3IHQHd8gcSY1QOYdZ5bC0WNJ6Zid5kp0kw5XjMkA0kCaGgY8s3c8n7VnY6
OvqLSIZKtkpaUGXA6VYc+ubMfrCrRVV6e4Ls44CpkNqHBnkmYzwPXE/RHPZnqaq2
vO9zLrKSA4mFPC4sZ5tmhwlS6X7fszXpcXTwpGDe+MMFSIy5hGu6huEThMb0wrty
891LnDqQPmu36GpyTO67gXYnHV5F2WL8FizYwbdSD30khDIzXQKwoPw+OwPiVte5
mKtfzJ8EAljjNLUkXSVvXaPBBi5lX09/p/6/WEpaBF/pia28BgiOg9FA1/hF5NmA
h7UUZWQvFp/qxsglo7IYeuVHzBx6+sC7RD9NAHB936KKTwKkbb/DAW0lRVyc4sOY
NV685mmSUQlqj5AMoDBnrxegFGQ9/yYUpYmKVc/JOAVYfUQun0zZNH+4apVP4gxR
c45J1SPMXyqsxzb7W7oXYEWqIWxEWzHFoEPFsh85Lif7I4SXxoTfCZar7W7Yz0s+
bf//n6mXqA==
=H56a
-----END PGP SIGNATURE-----