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

Format: 3.0 (quilt)
Source: creduce
Binary: creduce
Architecture: any
Version: 2.10.0+20220116-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.1
Build-Depends: debhelper (>= 13), dh-autoreconf, flex, libedit-dev, zlib1g-dev, llvm-13-dev, libclang-13-dev, libclang-cpp13-dev, clang-13, clang-format-13, 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:
 a4f65a149301d8719da8894992a6c9463ee6b746 487180 creduce_2.10.0+20220116.orig.tar.xz
 8440e555f8689be422c04367ca477388dcbb71f6 7428 creduce_2.10.0+20220116-1.debian.tar.xz
Checksums-Sha256:
 a49208a103a16ea2e7ff42c7b04b1666ba21aadab3d0dd4fa325ce602212a29d 487180 creduce_2.10.0+20220116.orig.tar.xz
 201fff3b7030a71badd70491d85f6c41d5c62ccbec9a055984a2169fffda8453 7428 creduce_2.10.0+20220116-1.debian.tar.xz
Files:
 afb885e181fd98848fd0afed6c117618 487180 creduce_2.10.0+20220116.orig.tar.xz
 c8514473238b2e5dc0243374ef5515c7 7428 creduce_2.10.0+20220116-1.debian.tar.xz

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

iQJEBAEBCAAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAmMWWlMQHGRva29AZGVi
aWFuLm9yZwAKCRC9fqpgd4+m9c5cD/sFuU0nQi64HTjjubl1L9FbhV2cHIQZztTZ
qT3PPoqmU8MXEkdd7wkF0TFyOp+lLSCzPi5bFLWxt6cz9gprOi8K0ATo93KhpYbV
nNExj82xtYY9KzVmzuRoFpLQVNmETvtKQKaYwiqfLbiyvE8/HP7Xw2KyhZQ6ZQPD
XcvEfI4b07mZ3qH0OhPorZetniwvJkuAJGwhpwkO59JK32oLpSRjsh3kv9xE2qUB
IdBk2JubZmmlKHne6HSbWX12YQiFN++awd+ivzvQOpHfR96VuoEWafDgIiEKz3K0
+qAS76NXW2TWmxW+okSY+BOsKZlwVLIN2P8rRcBJ1ZmLlRrYcouwxKRuhZvnWLBw
b7vpT5HTJwTBW28QIxRWUp6rTJ0WgWTPrKoxGJVmQxBR/HX89CigbFEOhtgLacOV
RDM8/XDpKZcBfzdZupHZNI3795tPZXM2ca1i/aALZStwzv5WmOc+5A8eO85vs/sb
9ZAFrha+YVXc5T2x85eGZZ/ulNUejxdRKw4HHthHIbLtACHJz18c1Uibgl3l5k1q
cx/001qDH+SnkdPtZ/E8lZ9pwd8ydRbzurpUMxyCgHPB3gTVZyYdR6QkKfheOzxZ
03fd965DKJozcrqwgB+MWA0IaFUyxkD0/hYsJ9W/BHtdUDZp5+1DnZec3HG1Mh0C
6j6MHfRBEg==
=Epxt
-----END PGP SIGNATURE-----