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

Format: 3.0 (quilt)
Source: creduce
Binary: creduce
Architecture: any
Version: 2.11.0~20240312-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-18-dev, libclang-18-dev, libclang-cpp18-dev, clang-18, clang-format-18, 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:
 5bedd515d528723657db08d77c2944e392865c4b 484612 creduce_2.11.0~20240312.orig.tar.xz
 e8e273daad34a9cdfdb252bdf4f8efa6406236c9 7528 creduce_2.11.0~20240312-1.debian.tar.xz
Checksums-Sha256:
 31622a94ef43b05e306e6e1bdd8fedca221840a724d8cd375edb6ee33c184bf8 484612 creduce_2.11.0~20240312.orig.tar.xz
 a08b40926a28e48abc429c4d2874744fefedab8d8a6214c2205c1dca05f3565c 7528 creduce_2.11.0~20240312-1.debian.tar.xz
Files:
 47014db205340155a6d5a767a83cb915 484612 creduce_2.11.0~20240312.orig.tar.xz
 377849e2b431001174c122da24d98321 7528 creduce_2.11.0~20240312-1.debian.tar.xz

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

iQJEBAEBCgAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAmXwdLQQHGRva29AZGVi
aWFuLm9yZwAKCRC9fqpgd4+m9UsLEADUU3xkIAHlQkQtL5UQ+YSrfO9PJICVX+dk
uaNRV9jx7taG3Wq4rne7xVynr0y8XWPDYpqAgqS+clS3ipv0KcS5CsUlh1caE0E5
9f7dmO/OSHzUI2rmttVtilP4eBtKFkxsd/rg7fa3HTNprVZ/9vUfddXFJE0DCiHG
B4Vrg5qHNHajYRWZgZojQPyj9yhUiYidRMCH0iAsW1F4v60s9UVn7PSQS1nc2pG1
AdlnSlBQZVGo/vugleAAH02QNyBQdEA4AE3tq8sNcDt9/Ng7VanU0cZF5Jx+i23m
BoobzYvGRN1lgE70ycoGn/XItUGDuco0ClFhZ9ilqZpXMnETZYdf4XFdEgvPX+nF
59gm7XAJkugvxESteM2U2Y6v8GJangs5p27bx9ghB84vVbLzrbAXpHH4Q3l/wc/b
jXyndWlXESwnh9U8EfxntSnATzZFUr71VSAO09Vj2fwCiYaLrAyQ+TuljWJGFXB0
uiGJgqGsXwbRfkKJvPkfZ62UfYACalvvyyTLxZ/Pqff62PwHlVSU50i0SUTO992g
clIzH+4B1e4xzJTvVJglb4x0SqAPgfqIA9fsDXhOWaOTzkxosmedYR+giiMSDtNJ
eA3IjnKXUEqR2fKCoCTeQ0h/w4xc0wF9iPZnBZK936kvPVruqEt999m6KWkVSsLj
UKr5o3TV/A==
=LCTu
-----END PGP SIGNATURE-----