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

Format: 3.0 (quilt)
Source: creduce
Binary: creduce
Architecture: any
Version: 2.10.0+20200116-1ubuntu2
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.4.1
Build-Depends: debhelper (>= 9), dh-autoreconf, flex, libedit-dev, zlib1g-dev, llvm-9-dev, libclang-9-dev, clang-9, clang-format-9, 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:
 52539297479b64033aa1aa3eb90989a288532b7a 474256 creduce_2.10.0+20200116.orig.tar.xz
 7ce46a1d40932daed4cd8246bdb481d41fd37f81 7196 creduce_2.10.0+20200116-1ubuntu2.debian.tar.xz
Checksums-Sha256:
 165d7b559317ff15860b430779bb74d82824d55c737a09f0fed4d1e48f59393a 474256 creduce_2.10.0+20200116.orig.tar.xz
 63f2246c30c665eef5ebbaa1ed49ba7df5ecd4f00777f1e3af2bb2349197c035 7196 creduce_2.10.0+20200116-1ubuntu2.debian.tar.xz
Files:
 ce2f7b7dfcd12b7bebc2ac501c53e380 474256 creduce_2.10.0+20200116.orig.tar.xz
 8e60d86d3c2499ecebefe36483329728 7196 creduce_2.10.0+20200116-1ubuntu2.debian.tar.xz

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

iQJEBAEBCAAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAl7rVqAQHGRva29AdWJ1
bnR1LmNvbQAKCRC9fqpgd4+m9aylEADB2DCd9Z7/v9Gh4skaBySVL7RMwbEWqXHB
s0uWXbyJY9s5LawnP/1H0ufl1AbeJnG5YsjWgSsDUAm7Lfs3i6ONfN/qUX7KvlSf
0mf5tzxZwwGuC5sck+oIFgKazX/voGiTdmEo3yJNxM227cCa6kieT9FWtxG9ZduO
z8V4HdaGxRrddA9bk8IZ0nLE0WN6Ck/xCslAGpxsHZvWQRnnQ83fPtlTA8uAj8GV
P89s6Feu1abBaOUvLj5Tg13e0jYCH+4L3w7rza3A/wBDbheq3eiIE5cQ0iEge5KT
5Aa0getaVmQ43QVTmHMJDmK5of/M7JWxUxl/+tqncrhRS+zZX+5KcMioD4CPhuvh
GKw2RS0rg9ZxnrNzembvSilq+9MPkMn0Lk0hn0Xgu/blm+uYPXmekkIOF3D5KOk5
F96IlbijvE7bzBYi7FpZ/XGujIoNoMPS26YUEte3nWRLRt1tmWlXa7kAX2TsBhBo
DpkRdC7ONklKhj9RuG4yI6E+IOv9Qc3NUG78aJEEEGWnVt8gS1jsNdlqOxgMv10J
F/2zFOcT5oMv1bPGsjUQLzui8TsBj3SL5k4Fmz38H2SvcC/1D2e9DDXsXDo3y5Ih
jKxg0GXmLZxT/8jjJixJHHHipGCK0FWsOzYQpVB4uSTSEVK8ZG6IkUX8eTfnMb7r
og9R3aca8Q==
=PRj0
-----END PGP SIGNATURE-----