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

Format: 3.0 (quilt)
Source: creduce
Binary: creduce
Architecture: any
Version: 2.7~20170317-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: 3.9.8
Build-Depends: debhelper (>= 9), autotools-dev, flex, libedit-dev, zlib1g-dev, llvm-4.0-dev, libclang-4.0-dev, clang-4.0, clang-format-4.0, libbenchmark-timer-perl, libsys-cpu-perl, libfile-which-perl, libregexp-common-perl, libexporter-lite-perl, libgetopt-tabular-perl, libterm-readkey-perl, frama-c-base
Build-Conflicts: kcc
Package-List:
 creduce deb devel extra arch=any
Checksums-Sha1:
 097018238bb5ac8f3ec598be8bb16686ce98ecbd 460904 creduce_2.7~20170317.orig.tar.xz
 b317146fcad9b8d1746ed062da6678c628a207c3 6396 creduce_2.7~20170317-1.debian.tar.xz
Checksums-Sha256:
 c4d32c4600c6b71d9099f759e9a509b2d83591849990bcbd82e9d630ef14988d 460904 creduce_2.7~20170317.orig.tar.xz
 6f629b6d0df5981181c7cc806edd53268bddb902876d4a6408761c53696bd769 6396 creduce_2.7~20170317-1.debian.tar.xz
Files:
 fc1583cca2d68ea92d066ea5854d858f 460904 creduce_2.7~20170317.orig.tar.xz
 87a5944c88c916dfc0696966f121b0ce 6396 creduce_2.7~20170317-1.debian.tar.xz

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

iQJEBAEBCAAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAljLv6cQHGRva29AZGVi
aWFuLm9yZwAKCRC9fqpgd4+m9Vb5D/9IRRezDlDoIp4XP9zPhMG7h/wkfeqZdiy9
jdq2PdH1hsuaSTY+DNMk1FTOB60Nu21Fs6EFi0iuR8sKkjKTq1OMF8ahYI8kAXc7
9REPEkJKQ/s5cnhR5iIn4WVccbhWquZfwzvppNdT5XzxkIJPRYdtlS557PwQp06B
IEw5R8hvRzogcPGUIv97vjwsJ2tpzJscQK5pnUDUkT4DItn+RpWO+vlVVYzLMyNo
iUpewVZOIErRfY7/SOJu63TBPzNtr/tdI0kd3xtpiC8x02sndXWiJTkBKlfI4TMm
O6SnDXc4NEA4f0jle3wigIaA+VET7BhZSQvjGYFcUE+91lIpmDE5toEunvTNty6W
cNEw9wIa9uMtiH46GnKXX19fM1j3dLHAe6Iyy12d76poKCwSeLN77RiGrAjy8DN3
4UWSMceOHqBSdruX1bLl9eiGdz5QIlhcYphaqkQiwCi8sAgdxwAcHNydPHXEPu17
H7FyYQQJ83zcgq2YS7JdfP7cNg0ux/PoE5ogB1FLOV61HwB8Aef/NzgL2fwwyLke
DJpXC43we03yghL/6d+BgcYGLWeqrJkTMXdd+Wu2LdA8/6WNYtlnyLRvEAGuyG+C
u3qBjhCv8Uip05y0XqrKvR8Oj1NeMKxf+q1dJCnu6A5QWPN8fi5f6fxDZTyXefYw
6cR58q9MfA==
=c/zY
-----END PGP SIGNATURE-----