-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 3.0 (quilt) Source: creduce Binary: creduce Architecture: any Version: 2.9.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-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: 3cdc83b494ef5a6eab47d51e0e21d7ed01223811 777444 creduce_2.9.0.orig.tar.gz 04b761569b1e1a496c62eac4c3f20799ce01d3b3 6992 creduce_2.9.0-1.debian.tar.xz Checksums-Sha256: 1ca9e0398c2947c390df4a17eae0151cad6e047377ae3f91812cc2f0c01f03ad 777444 creduce_2.9.0.orig.tar.gz ce9be52b8bcbcc22996827ef2b8cd5aa973bbb3fd64fc26106c087cfd6cbf7b6 6992 creduce_2.9.0-1.debian.tar.xz Files: cdc6fa005977b44e0c1a3730bd09f468 777444 creduce_2.9.0.orig.tar.gz 1f9a43d1375cf44d0fdc42f8089aba8f 6992 creduce_2.9.0-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJEBAEBCAAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAlzS//AQHGRva29AZGVi aWFuLm9yZwAKCRC9fqpgd4+m9ZI4D/4rCsIjF3BzhmnuZolnowNMmOSIj9/S+/jx /+WEojaQ1z1/h6YGL2qH36jS+6hFlJ+vC3/XmlNqEZnqpyNnxhVxVXkwqjcWooaV FPflGBQjBD5NFGvpq9dVJPJTPuUwRCX9/Ic4wshh259yIv7zYYGluOVTpWsgSg3E INnmxB71Q59DuDG0o8fg53dR/LUgeWafVJPdGiAwVeh8xO1gCHCuQGptQLG6l1yo YxJS9jevY8PlsSX4OXr7qL2yYt5IW0IthoBhMGH+pZrfiCdEpjYO+lg+FR7QnZmA IMjkq+QBymanLQMKQBjI/BiSVgHh5L0uGDsLhyiFn3Idx1vLU+AgdA6e9YVMXpsO JGd8wgSdY+aGA+xjsGoOfWRyMp0fZ2LNCkN76+J5im2c1Wg03Ptcw7MnRjPbrdPn xcNVoGTIbJ4LtXmoMc32lN2M/1VcFNY6N/as5mzVYiR7jPzCpjwRewavtHKtX/KJ +s6ZUkQYmDQ2UhEn49hSkfRn/A1EmIlK4TMRxgOVNKqEahMKpYExGJ1vdtDLHx+E zlzxRayWLNHV7+bpWZGEfbn69fNYrVhC0ciQ+uRPzPV1m2y4xfTfBzgjfON0DMdm jE5TuXPA0tMoT+ORwvsFP8GWRGjoOj3G1FYk0ZVUls/Osnmh2AFi/Iavge/atHNe EiOTUH6imA== =4p2B -----END PGP SIGNATURE-----