-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 3.0 (quilt) Source: creduce Binary: creduce Architecture: any Version: 2.10.0-1~18.04 Maintainer: Debian GCC Maintainers Uploaders: Matthias Klose Homepage: http://embed.cs.utah.edu/creduce/ Standards-Version: 4.3.0 Build-Depends: debhelper (>= 9), dh-autoreconf, flex, libedit-dev, zlib1g-dev, llvm-8-dev, libclang-8-dev, clang-8, clang-format-8, 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: 77c3dafb2446133ca2f2aeae34b2e4b79de5231d 779318 creduce_2.10.0.orig.tar.gz e194c15b4982ee7a0df83ee5c943a9381aace265 7084 creduce_2.10.0-1~18.04.debian.tar.xz Checksums-Sha256: db1c0f123967f24d620b040cebd53001bf3dcf03e400f78556a2ff2e11fea063 779318 creduce_2.10.0.orig.tar.gz 36e5fe66cc3500967a9c538c6417b8695e187eebfc16edf6d0bc7692b9d0186a 7084 creduce_2.10.0-1~18.04.debian.tar.xz Files: ec9d5fd3c71840c7361cdf626fe1f202 779318 creduce_2.10.0.orig.tar.gz 7424a2625ed4907d11cc1972275c8100 7084 creduce_2.10.0-1~18.04.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJEBAEBCAAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAl0WKW4QHGRva29AdWJ1 bnR1LmNvbQAKCRC9fqpgd4+m9SjbEACYj17vuONOgycD/LJn74b3iO7b4ld8XYHZ glErU/FzkDIEv8mTM57zYcAnCvPU2MWDC914naAWs8PuoyTSDFdVJpRTKdM+wdvk Murtd98rWBMDlWY3ze4xBSsKEFhelzcvlC84+YE9M32L8t6GlyMzjM5c0QU5FR8J xTzeQxwGqPgTayXh/2WboPUMIwwt2IGOSkFpoiSLY4KNFV5SjBEe/LV4Hx/kSPgQ 4OG3SCKqgvYd86DoNILML9QwPhjoRMQCnt64ZTxUKKfBFsWs84vxEdB6lFspVEUh lUaQ3aXlpKEhGoYG660gE2FLuIjQzdkT6pwCDfSAtf9zFglUed4YrOBV/ixUZdns iJeLH2GeGwpPLwt/LoO01uzgr6S9fl2ONnCxYTPIJcFk69ZXNqxG8rEMQxyTDQD5 42Ws2HT2tuWU2Q6680GXLzXvV1shv2eqmabp8WZxH1U21NIhA5B6IYonEXhNKJT7 YLT73xXnyLF0cFvW4RCrZQzllBK8smfKlsZrBtQbjuOeOs7XvhDYxKlXLzwfUFUn IzqroH1ZKJAFb/nBw3pgNrZdIIruSuClDM48d0W7l9f7D7R8iEqbeq+QLpUMAPYH GbSXH05rFkQay9+BU3uzIkaAdPab77TGm8IgncW5Sjwpw2K6JgSj2LNI3ITPdOvx ObxLemuvUQ== =m8Qu -----END PGP SIGNATURE-----