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

Format: 3.0 (quilt)
Source: creduce
Binary: creduce
Architecture: any
Version: 2.10.0+20200116-1ubuntu1
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
 df789371782601e3cfc255353a58df310cd3c19b 7156 creduce_2.10.0+20200116-1ubuntu1.debian.tar.xz
Checksums-Sha256:
 165d7b559317ff15860b430779bb74d82824d55c737a09f0fed4d1e48f59393a 474256 creduce_2.10.0+20200116.orig.tar.xz
 59fe361ee061b749e52b5955ac5849a3503d5fbbcea44f9b78528dbc1623da01 7156 creduce_2.10.0+20200116-1ubuntu1.debian.tar.xz
Files:
 ce2f7b7dfcd12b7bebc2ac501c53e380 474256 creduce_2.10.0+20200116.orig.tar.xz
 b95e36641aa0dda71b406f38e8e46e12 7156 creduce_2.10.0+20200116-1ubuntu1.debian.tar.xz

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

iQJEBAEBCAAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAl4gTs0QHGRva29AdWJ1
bnR1LmNvbQAKCRC9fqpgd4+m9V49D/4nOlgPsDbTjOChDo+RdhRtzmUw7GpokVpa
RocY8LGv8QU04PqR4Lf/XkHaSnOCpYMxx3qMjXrhtSpgMYPE2vs199GIrbbNfbCh
r2NnWU56oimA02RnoGqDZIXXTua4BcDBR6uqNiofv35AieSM6bH7+tpFnRcr5XEz
Eed2TDs4/MOOEWxvUssmrzw23eBNm1MTS66xmjCfLZw/reBFDsplF0gRoHPwbq5T
KX5HHNsONnT55zDVDjPjCJcyANSS6cQT+9jcA0epg/icza+dwx71xjIjp7kHhP0R
knlk3jrREsc+nlLlqm3ZJuzqB4pijF2AK7vU55zbVJ5WBz8yRUrG/R53v3MkuYwE
M1Qb7DMyQvqg39xWEnhzjRGXKEpviaO0j3q53ME/y99zaqQXOTvadhUt3B+gaNpQ
fkxBHDLzLbmTkvewJMwmE/iVXiSrg7YXb9iP1QY/VIqb/fKazK5iylIuw7e+XFD+
Zjv0C7gPYKoDZI/LHh1Vyfg7h4p604iFUAsw8fJGPdVFrnD78f5i4PI1rGK1nCZh
4tFM1hmkYr+iYLO8lugQ9CITwedNUs/sKqflyV85yoxwAAHle5YLNco0yQ7hpYcw
3hKdNELlrxhifv13pOAuQKrmh6ZbTqB5pG/eO7+bLy0hYUwxgaWIU4XKzxn3NGh5
kW5KEZdZwg==
=Qzgs
-----END PGP SIGNATURE-----