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

Format: 3.0 (quilt)
Source: creduce
Binary: creduce
Architecture: any
Version: 2.9~20181016-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.2.1
Build-Depends: debhelper (>= 9), dh-autoreconf, flex, libedit-dev, zlib1g-dev, llvm-7-dev, libclang-7-dev, clang-7, clang-format-7, libbenchmark-timer-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:
 0d891752c54b28aa853503fed79e3deb8331c09b 466960 creduce_2.9~20181016.orig.tar.xz
 b3cf58df1d9ea1d5e61be7c45812c2961134c0c9 6560 creduce_2.9~20181016-1.debian.tar.xz
Checksums-Sha256:
 7383d29242eebb312b552e196e7b38db881425e18a59dfd5ba86f5baf9f9c0ff 466960 creduce_2.9~20181016.orig.tar.xz
 7aab5ca6becdf9ed84352f74a44173dd66dc6f2fe635fd2ec6d027a3b589e4a1 6560 creduce_2.9~20181016-1.debian.tar.xz
Files:
 85ad355e6c43df70e749bf47dcadc016 466960 creduce_2.9~20181016.orig.tar.xz
 f190d915ddedac14a84960625e63411b 6560 creduce_2.9~20181016-1.debian.tar.xz

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

iQJEBAEBCAAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAlvFnRwQHGRva29AZGVi
aWFuLm9yZwAKCRC9fqpgd4+m9Rq2EACmDkxljGYQ5gkYHYBizCfR0N+xSIOUz82v
yc3KDnMhx8LbdssCece+wwLzQOjpOxvXT9TO80Wlm62iXprMbS6Uc/I+enEd/RGM
BAaY1Jnd6hYM1xKVGjEX/86KpTGdxqd9UcuM93JG+2+sd5fR7mum8uaJ1uG6eRD/
qjC/+t+0F44lghQg7sFl7L2Qcw/YnFV8FO5/06/QzcCLUvnQAXKp4V9xzPYzQZpj
NoEd7dnElC/FHNWGiQwDBxCk8OCapka8XxOvUG33WlmYOL3hm68g/Mz6b9i3fC+5
d9ADXGyrB+FcEwBpyogREpzqm5SGJ/QVlBZJlm78/NkNMVidZVn9uVUpC5JE39hC
7ehijLQdSRdmNROlOMyjRU8lR7YkEs7OJVN1n6cUXPGxbSdS2H8kGhzj9CD4kPkk
gJFdyaitXLnZ3nvxJH92mqHumQ1580g6aIKD61VUXAnVYI7lR/XbaJf0scMq+Mu5
6KIvqb+GRbJjoQfHQwHvGle8AXQJzPfy8ynZJf1S8lv12zCOthLLiEopNKkzI/wl
YDXncwEUS4QrXU4Wv1T/0BbEUAjysZIOIWfCH3h+APHQI4RdxjAP8ClUHWbCvHKf
e8vYlUru0ToqBbm91QRFR77PuomuQIH0A9SFf9tkISl9FJvaO1FxcqKmhiKyEFSs
lK3wQOMEdw==
=6cLy
-----END PGP SIGNATURE-----