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

Format: 3.0 (quilt)
Source: creduce
Binary: creduce
Architecture: any
Version: 2.11.0~20230819-2
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.6.2
Build-Depends: debhelper (>= 13), dh-autoreconf, 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:
 c05237e98fc6d3c84d799adf8b1d3dff61ddb686 487292 creduce_2.11.0~20230819.orig.tar.xz
 7421c7f2d3b060fd46c992cbc54c15050297946e 7652 creduce_2.11.0~20230819-2.debian.tar.xz
Checksums-Sha256:
 8be92d2f637d73c27ed1a33cd4df7c550c478893a5009cf6654126fa6134b33a 487292 creduce_2.11.0~20230819.orig.tar.xz
 be803893920f7b2d3692cb9e14bf0c589a4d2c510b1533581a8296cff012eedc 7652 creduce_2.11.0~20230819-2.debian.tar.xz
Files:
 c0568d6c1bce9e3ec79a7d65452a9ead 487292 creduce_2.11.0~20230819.orig.tar.xz
 0c69572cb0b978c5dfed766295527a00 7652 creduce_2.11.0~20230819-2.debian.tar.xz

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

iQJEBAEBCgAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAmVXGD0QHGRva29AZGVi
aWFuLm9yZwAKCRC9fqpgd4+m9YpMEAC1TSnJNmAcGDjfLV8bRh5DC3pDBaf2L4G2
rfHh12h+NeDKDAZ1hLNa2Sz3OuSpcuukCQcCJ9KMXb2X6tOS6BhDrdI/WngCkCQA
RyMHyvwJSJiS5rmr+0e6hWruRFU7Stxi9+w9RHTcSipYijzos4RM4dUgtlxalLPQ
LBXNoZmXwvRhwBS2uokaAAPvUMwNiqL/0sn/Ipze9Ao4bDNDuto2rLyxlUQKCItt
6X3YbQB2Lo44nxq8u84bMcYqbqSg5UFpAEUYUCd5Cmz1uTsaX7x47iwtHYF/M7DM
7JeDO7wIzYPJjXaKQT4DcoYDwh3qmVmtmfO6LFYHBjyjG5sBd5XtZ6eR06AXQG7R
fk0m6Xepqk6wcb/YXlJCzcsYhxyH7HIGMAcFY/NiNmOpBdipS/yyQSo4kwTs5Ldk
qgTaynKJl139ZyWUU3AmRGS9VzoL3lafofp1dt+tphYWxv1Y/2tnKOPlrdXU6lRe
SJpaiZmf7zrJV8ZSfbJAfCs+j++PMS7wzyi42WhMZrTfFmYBC0KmahXFsMPXJgto
p7z1Ei8tL0cc9muD6xfU7ZJ6ueU7dFo8IrOnf8erZBaOJ3mQlNBQaEN0T9M6unhW
wTu9IUf0FjfQYN8HnlmKe1ZWFmMw/6MV4/2HWUkHIGBgnw9KHqCaF0Uzpbsu3GH2
WKt41+1sVg==
=2p8Q
-----END PGP SIGNATURE-----