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

Format: 3.0 (quilt)
Source: creduce
Binary: creduce
Architecture: any
Version: 2.11.0~20231125-2
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 (>= 1:17.0.6), 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
 8ca6c8777a0004c5abb5477fb3490916bdd5cf29 7812 creduce_2.11.0~20231125-2.debian.tar.xz
Checksums-Sha256:
 da778e8931f01c58ba13e4fbb96f100149d9de813fadc692df2ae8306d1c5935 484288 creduce_2.11.0~20231125.orig.tar.xz
 2f206e9afbe2f3a7a0403616e36af31f08d3957e01f310c8691ee9eccfbd7ab6 7812 creduce_2.11.0~20231125-2.debian.tar.xz
Files:
 bbe12059bbe873c7dbb283cf96aeca5f 484288 creduce_2.11.0~20231125.orig.tar.xz
 b4e6a69bbf61abd687555a4bcbd532ee 7812 creduce_2.11.0~20231125-2.debian.tar.xz

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

iQJEBAEBCgAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAmV2BC0QHGRva29AZGVi
aWFuLm9yZwAKCRC9fqpgd4+m9S2zD/9PpJY/iZdq2soALjXjVQWIDyHW3+8XErzZ
32cceXFAp/Ii373UTG6MPzuEtILzp5kpxiTuIAU/LWnLOnWOPeXGM8OlTlv/GlS/
YtI+5sZTfySlDw7rFZoTm5aCvA0ib4vttibdI4N092UP/1Jp1ydNPFKKJW1UNM9e
+iIU1xYvajXAyoKEIoo3GhyhcJBFM0lhbhgyvWFqGbFLmp3G5NVZ9Yk0h27n+TTO
MVuXCesgbvFPlMfi/vm/tDaL0dmLKEkNIUi8SW7KcjvOIxpyzVF9bzZD6oQlGWwH
x0diIv8Q/6bGfZBi6hnYLWYEmukHwY6gS+Kz0lhRYBc/h+peQB6HaDBzxrxaJteH
b8FgU8eugYlaOR7B5g1BApIpR32G9UD0nXDQS5+eJCJPQZtbs2HFqUGrkxfS9Mp6
RG8ziQVS5Qbk8AulGUG1Bzk4dPailLQV1q2Z2VCl+Pa82BOaH9zauzKmeI0bAC1M
eizMQKbjMGIJiUygWKIQZO4W/7VQY1zA9/8MxC+7NWnpeQbukIUF+w+lmCDfi7Jo
NLttjHXLrs5Rz/lVxVnJF2SbDM3mW9PKK3VeT2svVsQdilal3XCuqFc5zZpIwm5u
TZC8fMnyDa0Dg9aKrKfAseX3Fmq7pV9SlvSJ9AD+8LQt9QFI9gNT0FowbFGnNT85
auE3ZsB77w==
=xdJr
-----END PGP SIGNATURE-----