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

Format: 3.0 (quilt)
Source: creduce
Binary: creduce
Architecture: any
Version: 2.11.0~20230819-1
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-16-dev, libclang-16-dev, libclang-cpp16-dev, clang-16, clang-format-16, 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
 7da4fe2e4892a552bfae1e0363dc018b6d1b5117 7372 creduce_2.11.0~20230819-1.debian.tar.xz
Checksums-Sha256:
 8be92d2f637d73c27ed1a33cd4df7c550c478893a5009cf6654126fa6134b33a 487292 creduce_2.11.0~20230819.orig.tar.xz
 a3c0da2f8be3b01f4e7b405ef749fad9a078b35b46e856724a650fb00b85c0df 7372 creduce_2.11.0~20230819-1.debian.tar.xz
Files:
 c0568d6c1bce9e3ec79a7d65452a9ead 487292 creduce_2.11.0~20230819.orig.tar.xz
 b636161f977349dd7225d97d8ed2b23b 7372 creduce_2.11.0~20230819-1.debian.tar.xz

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

iQJEBAEBCgAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAmTghGoQHGRva29AZGVi
aWFuLm9yZwAKCRC9fqpgd4+m9dPYD/9sIr2jhLg64hA1gTTOmH2d4w0sREa8mw9Y
ZRt5SLWSmM8lYTieRUFwezSZQrs+dS+FJL7Sccca9W90Ac6ip0J6iSkMYStrvYB5
zmWWRdoqOzGOtmrDP0C0FHhnczOXSO2roJ0zEg19b/30vj3QXZ0OUwDDnIRV7Tiu
4oB615BzDkZxn+AZSzmrH91cGBQFyiqx6HsyNEnFC2wH0AsxlhRFluFQIKuCP+QT
HQdXPstmYm/rHIubGdDa07N8yg+8cqAs050bfvUZwV78igPX2MJydwayE/jmE4pu
2ZBYJvkpcvR0PF/2k8RT6frPyMs8Zzdn4MSnAz2iHMV8ez0NFRd/RFwL5ZnlfDgC
gpiEAEwVzB9kTRd7Ex6eO8j9UVMTRD+HRe523dyLyJFwEzwtKU4nZFIDZF8568NT
o+gcF/tHrEbaIacGsXjXRa3Ashd/WrjRbfo00JB2H2gxUDgrXjoloDWnPqbbWTf9
czlGH0Dk3vo2ujTdfFHfzFapgDrLejrVUC83/GY6RabWUy4yKzyiof1fZrnENzeC
OONBv6o4EzZVRNGCqoLIRkAGX/YV68a9u+TMSEi88guWQKYiY1dk1qloXqgmg/QG
+5umHqxiS7O+u73oTH7MONcEcyaOpxLWPiEAnH5QPQA9+tGHiBvCWlkNLnHyxEAK
DWOIWfUtfg==
=KhCn
-----END PGP SIGNATURE-----