-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 3.0 (quilt) Source: creduce Binary: creduce Architecture: any Version: 2.10.0-1 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 e5f5175f041482b9344793a5af55fa8546d0bfd8 7004 creduce_2.10.0-1.debian.tar.xz Checksums-Sha256: db1c0f123967f24d620b040cebd53001bf3dcf03e400f78556a2ff2e11fea063 779318 creduce_2.10.0.orig.tar.gz e2b89c770b492c4aff03b6352d5003bfb610c009e0edd29dd8284aa2e2771c24 7004 creduce_2.10.0-1.debian.tar.xz Files: ec9d5fd3c71840c7361cdf626fe1f202 779318 creduce_2.10.0.orig.tar.gz 4e5893ffba098037ea9313765fda1675 7004 creduce_2.10.0-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJEBAEBCAAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAlzsNcYQHGRva29AZGVi aWFuLm9yZwAKCRC9fqpgd4+m9dZ/D/0fMhZFhPhJX4tyzd6nnglhRdIgO8mAQprE Ue4+CZLXPNcr4xJAZ/L4/nAI7v/kQEuJFd7JXAwI+Qm55tv+OYrDfh6kXOEXfgxG qBG6iu5BTcQYmTH9GMT7/bKaZc0SkQmZWQeKaubrhpG2BF6WT17hcfVn7dcLqe1o YlgDjuqja/MNsiffB1CzSWuhEqH1PwYS1cBqic5sr1RRdt4PypJujjQUkKvLWGB2 kAUBM3O26gOsE3KsSr4YRh96UsKJeGhE5W6aTxHfBkHsFCNmwNL2uGeUH//tGxp9 h8pj/YwN5QlIfUa0m2siZWX1WcxVBFMvjVgUb6g9Rn5YNwd5yzWLggfBE9mCKwFb H/6KNg4PxpByCjqsDacdcWP9p3ECEeZVipae3lBw0SPQ7VasafNiZldte3pP7Y1e fEBvz+zlkHRy62U2KMzJVUQqee/p/d+ehQxbqByZu86M4Ioh1MkeWkfRkn6eAP9E 4iMsGeGmKNnaacXch0tIs/vxZ4MQNgiZBSOcfWUJsv6RE6w/ARb025zXo3ZIIfIP rsNMaMt4KmpUiAfnqE7+VyzOhwaqGGyOWVbf2cpjidVQ6mxd0Afn2lqhXKrr9nrp gNMdEMc01THMQCs4+jwMymWEPEkeeNKytkTewSUCgP3ounFdiVn8/KC5EKfP0lTb kKxc5HkfUg== =M+Pt -----END PGP SIGNATURE-----