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

Format: 3.0 (quilt)
Source: creduce
Binary: creduce
Architecture: any
Version: 2.9~20190320-0ubuntu1
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.3.0
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:
 794335cc648a1d987c78e0bb0ed98959f2b6d421 468416 creduce_2.9~20190320.orig.tar.xz
 044a37f26ed395f31ecf8ee9e243ed8eb6660aac 7340 creduce_2.9~20190320-0ubuntu1.debian.tar.xz
Checksums-Sha256:
 45139f59eef816d9f9fd3186aa173c63868c51a39754a2ae80e7fbfa7ca883e0 468416 creduce_2.9~20190320.orig.tar.xz
 2b026475834727f161fbcb64c6cccadf8397e0cef893eb7826b58646b8322ef1 7340 creduce_2.9~20190320-0ubuntu1.debian.tar.xz
Files:
 f34d492b11be0c430ebc6113859b38bf 468416 creduce_2.9~20190320.orig.tar.xz
 033de4c5e6c007f041579e15edd093cd 7340 creduce_2.9~20190320-0ubuntu1.debian.tar.xz

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

iQJEBAEBCAAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAlySTpQQHGRva29AdWJ1
bnR1LmNvbQAKCRC9fqpgd4+m9VpyEACsqC0tYSm7aTKBgc3PltUgOiXE1EdAFQFx
/lPfLqvJYAQLnoaL3+fIfzX56hnj3WtyJ/LsUU4sBbLa6jqAGCpxjg4Wb9biTESv
9bs4X3WvHf4mHN16PCRu8DZ4mNhwYdIJRpgsjdlRM1AEWONYf0bDcnrtJxuw2qTP
fgjpqwDQ21btzPgUJ+nihMOaRdNrlY3zevdPegsXllHLvZmZ8Am/1INDMADwSxGo
r65WTpZv3hFf2b12ezHabHm6Lvopk1dsFqdsiatzGCmVI6Kiaz7bvKvdX2fqEi83
GVwodHV1sXaz3DX8UB0aHjkCYFRYhUl+/qRylgMCGhJp+Roh/zRRcG2FxtGDJesE
E2md0zKr1jXRy5qnubufouy8isFOvfpslbsGITcR/Mov+/gHJNERUPfSYGHfKsX+
kxL/sQnwl5jcVNUi/alt58I+j0JzIIlXj+ZBcCzngprqf50KVrg8HGtsNzp6s8wu
VoTLnWdNRPTowX6sjUhmSdVQ4xWLgzqcNYw8Qn1MDdz1A/1tzs0RsoYnQJndhJeg
NcsqHS51mLcs55uEK5p5M+re9qGy5GOGsHqblNZUwsc7k40ZSLvsZFSmPprgtlkJ
0f6b/gfbQTsU632wwYNqVatcARBXyLWHZi64Ozw4fAfJrtlUbX5W8I1QvUtqED4n
Ncve61QlYA==
=TCL2
-----END PGP SIGNATURE-----