-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: creduce
Binary: creduce
Architecture: any
Version: 2.10.0+20201029-3
Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org>
Uploaders: Matthias Klose <doko@debian.org>
Homepage: http://embed.cs.utah.edu/creduce/
Standards-Version: 4.5.1
Build-Depends: debhelper (>= 12), dh-autoreconf, flex, libedit-dev, zlib1g-dev, llvm-11-dev [!armel !armhf], libclang-11-dev [!armel !armhf], libclang-cpp11-dev [!armel !armhf], clang-11 [!armel !armhf], clang-format-11 [!armel !armhf], llvm-9-dev [armel armhf], libclang-9-dev [armel armhf], clang-9 [armel armhf], clang-format-9 [armel armhf], 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:
 fc1bbcfae703e022893ed4b91a631733931adf43 481732 creduce_2.10.0+20201029.orig.tar.xz
 d9b3cb62eec3e399b807d3633823fad63b278c70 7384 creduce_2.10.0+20201029-3.debian.tar.xz
Checksums-Sha256:
 fe2d433f1273e5b16809fe6c62db4e61a623623780e32cba3808aeabc0b1812d 481732 creduce_2.10.0+20201029.orig.tar.xz
 3dc7584fcddba58f48c51678ca8665bbf89cbde76dd9332dfab426e7ac2a94c5 7384 creduce_2.10.0+20201029-3.debian.tar.xz
Files:
 bf26858a323747ec78a90e3fb680d990 481732 creduce_2.10.0+20201029.orig.tar.xz
 07358b1f0eb3a00669a0251e14510810 7384 creduce_2.10.0+20201029-3.debian.tar.xz

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

iQJEBAEBCAAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAl/5yScQHGRva29AZGVi
aWFuLm9yZwAKCRC9fqpgd4+m9UaYEAC0Ix/9WTqt2BhhKiPyTXM9yTQ7dzsQZyIr
r81sXPauQSZ8/jvCV0YGcozHjX+z2hloBN3+awenHHYKVPcRt0p9GRHHLlLwUz1z
gKdDxjBGoH9X5Wq5//mpjiuRXMje/SF5C9GDhT0uaTyG4Wcz3+mLZqfVPHRVMR6u
yslug+AbnKayCxn2JYsouAFZql1L6+mQW0o/gvdsUxv8sFT8CD6wN3ti1RIMbc3h
ytFBVOYacf+4/DoI/6U/IDv9HQt+6Apm1mN221ph+n8AmacjstOd+D0QHD21l141
cGlqfb0sOF5J14pOddAMQHj3D2mG1hP9rRLmPr1604xaoo5BAnmD1z7CO7mQch7K
ZvKXmngH/38upQLUZGsdDxCDBNRL/+pVtoKcOn7JZfFTVlsYBoVT2eq+4iF4HsM6
YJqbO6TTlcCWIlijNcVWNOBtjZDG5V0xkR10nsSqNTRpEqbcU1cShZKL+vjeWRFD
/GUww0NVJlmqdug7lVWSh6S3EWhKy4ssWnII9rNHs+ILuHupuIRxHOI0bXhU9svA
L05gvafC2tpwn5zx3m4McHWKDaPixiWMBG22uMw7WsTxEcGlKy5BMro+p4rVAgZD
HDMdBY0N4e/Mqv2rww4IvzfxvZ/zhx0hg5vo3ucGH19pX67fzHyWeMSOQ1Mt4VAp
uPEMfZPgWg==
=N+FQ
-----END PGP SIGNATURE-----