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

Format: 3.0 (quilt)
Source: creduce
Binary: creduce
Architecture: any
Version: 2.8.0~20180422-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.1.3
Build-Depends: debhelper (>= 9), dh-autoreconf, flex, libedit-dev, zlib1g-dev, llvm-6.0-dev, libclang-6.0-dev, clang-6.0, clang-format-6.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 optional arch=any
Checksums-Sha1:
 0ca9471ef54ef1b4c3a9a3f8dd826c29150665c5 465864 creduce_2.8.0~20180422.orig.tar.xz
 ba79591240fd751a793456e6d0918f37af6b03b6 6528 creduce_2.8.0~20180422-1.debian.tar.xz
Checksums-Sha256:
 e62aa8685989ae85abea2252255cdf88cb8a35c7ebbb6d3fe243fbe010b26395 465864 creduce_2.8.0~20180422.orig.tar.xz
 d93b943d1c0f681d6da1a00f3d6002b927aa7141e9fb7911b372354c2d640f8e 6528 creduce_2.8.0~20180422-1.debian.tar.xz
Files:
 b85d8647f524cd6f2afd6fc590bc6674 465864 creduce_2.8.0~20180422.orig.tar.xz
 f0ff32845072487cd593b81e1679ecf0 6528 creduce_2.8.0~20180422-1.debian.tar.xz

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

iQJEBAEBCAAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAlrcPigQHGRva29AZGVi
aWFuLm9yZwAKCRC9fqpgd4+m9XV/D/9bV3sRtDKkS9hXTgE0asQX5cOW/lD9jVFR
b1cEa/lWJPTzTg9QevonKWnli56LHgS3OxendT1OQ8sK0t2xeKPtxSlHMKU88qBX
2RvzVG/EVBtXzet/ZCIGcHtWjSK8EqKdNHNhJ+47hdbfygmotbMkmampkm0PgtJl
/sVZdXVE+vAcRMWxxvgKR50MeEQew3KQq5Kb68abL002jfNO2fovt9J1q4NxYX3e
/bhaU4o0k41fjfOZrbXV29D/UvIBxy5xG78pu0IC2ef05G2D6hEyARcpXWt5rIlo
15aJg8Xx1inHcCRHK3Y8j05+F90jl8DzVXXAAGjaQH/7miVNVjUBb6BnPVqgVwWz
5QPwH9NsBeghNKNc9wrChTfFgjG9pJ25dJZSFKvVs+3vcXakCrv2lFEkqVa++e8A
afjygYFTizBEdB2WuANceP3HnrB+4Jel4sO6zflt3Fj95yWsjhp6s6rYTE08RznV
BPza2N7lIMYZfxasIodX7pefeKOvaaw1n1uhjFkAtXgvG390fL4Er1f+y0kFGAJC
cl3WGeOQ9kP8EJZ7Et8P9SGhvjDM0CBfhWiqNvXqVh/6tuXU2fFM4uwFkOx64+sm
ATgJoYhQ5NwGdwQxQmPv9+qjfE/UXiI/X+k8Z6hknf96PaqxGUihs/8/PqYXLb4K
KmHFjaFCRA==
=KWHg
-----END PGP SIGNATURE-----