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

Format: 3.0 (quilt)
Source: creduce
Binary: creduce
Architecture: any
Version: 2.11.0~20240312-1build1
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
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
 a09188a62971c9e5a2ad709a7ceb792562856f81 7640 creduce_2.11.0~20240312-1build1.debian.tar.xz
Checksums-Sha256:
 31622a94ef43b05e306e6e1bdd8fedca221840a724d8cd375edb6ee33c184bf8 484612 creduce_2.11.0~20240312.orig.tar.xz
 b5be930c8bdc260950faefd39d97fad5b8480a12ceab514e546756e45c063923 7640 creduce_2.11.0~20240312-1build1.debian.tar.xz
Files:
 47014db205340155a6d5a767a83cb915 484612 creduce_2.11.0~20240312.orig.tar.xz
 74fbebe5648edaf8fdb6ee8417a9132f 7640 creduce_2.11.0~20240312-1build1.debian.tar.xz
Original-Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org>

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

iQIzBAEBCgAdFiEEoIn7Nqr72tWswTJQafeQFxohCYQFAmYKSSgACgkQafeQFxoh
CYTq0hAAiU32XeQvHTDA2XDKh0i36PETkjF75g2YCcGW8qvYg1YqncmrTkneDFYF
+tbHsPiiyZlupp4AcpgB58+qNQrryJrSONHyYpWoxaUYpZir+U5RuXCrHdE9C+QV
LsmGaYC1ra0yf2Q3sSFdBi8i8nNYN1oiz8NgcP2wkefrXrjSvp8WwrRapMSeivlk
SQWN5bkvZSLCT60lZk5FVh++tGEVZZTwcBqrs7LmbC+G7OPKhQ0XpyYEgMtTbHCP
7ref+OdmEwPn4WfScFM+mYE8g9aUQJSMTPMhKRCMRn0zL9A+OIYpUvtd26K5FTiQ
u0ON4tsXoBCwFQKQgou5r8pMAbeOC2pWpIu7lge2WwQX81OsZzDnFZjyCuOIoPP+
gFOVLNBOHQwlCMPPHHyVFp/P9yd5DTKMzPkcXgmMrpl3Y7khdFObK7HR/fiRnnj+
Xb+Cr9KFogVVEFzUDw3Zpb2P23GEpT0XDZ5YMmh7aa5Sh4xYBJ2VQnPlSrt//QHO
D7KsCXtGhKxeCfxHFuvp/wAIIDpf4mmS6EZ8uRp+A8jbkHr9KRnA0djHKzYQGAI5
+FPOyrfuK8kIkfzh9n7U797hVVuVVOBRD3rUhKPXQ4EWCXmf2Q+7BZqC152H8Guk
ALvKwqm0sEOT9Zjo8/rc+t2v4WqBEe/54DqlHe7i3z153FgPt4o=
=x0gt
-----END PGP SIGNATURE-----