-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Sat, 09 Jan 2021 15:59:48 +0100 Source: creduce Architecture: source Version: 2.10.0+20201029-3 Distribution: unstable Urgency: medium Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org> Changed-By: Matthias Klose <doko@debian.org> Changes: creduce (2.10.0+20201029-3) unstable; urgency=medium . * Fix LLVM 9 build dependencies on armel, armhf. * Run the tests again, finally frama-c-base is available again. Checksums-Sha1: 632f976905490276ae6c9b0dd04069049966775d 2351 creduce_2.10.0+20201029-3.dsc d9b3cb62eec3e399b807d3633823fad63b278c70 7384 creduce_2.10.0+20201029-3.debian.tar.xz 12fb2a305621bdb5302160cb4809d6324d97c0ea 11327 creduce_2.10.0+20201029-3_source.buildinfo Checksums-Sha256: 0ba8eda186626cb1e974c54809fbf580b6911ea17d9d4cb5e49fff0ecc188ec2 2351 creduce_2.10.0+20201029-3.dsc 3dc7584fcddba58f48c51678ca8665bbf89cbde76dd9332dfab426e7ac2a94c5 7384 creduce_2.10.0+20201029-3.debian.tar.xz 8090448ad785f0d5b17b014a1d826ba6fdcdce9098d3eddaeacb82e9270ad53a 11327 creduce_2.10.0+20201029-3_source.buildinfo Files: dfb55ab3c69b3101ededae997de908f5 2351 devel optional creduce_2.10.0+20201029-3.dsc 07358b1f0eb3a00669a0251e14510810 7384 devel optional creduce_2.10.0+20201029-3.debian.tar.xz 98b8a434ed3445bb60090c60004a179f 11327 devel optional creduce_2.10.0+20201029-3_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJEBAEBCAAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAl/5ySsQHGRva29AZGVi aWFuLm9yZwAKCRC9fqpgd4+m9ZHwD/9KRwcImitcof1lkrbfmKt68lMlcPXZPW9s 7AMvK45zwoRMWS6Qigpx+kaLTK8zGr4l/ztVwddj3HjQIQDm61w2YimI7CNckYzj 8xO1WC2ZaCWGwTuu3gNv9GkBCRYw2F20ta/wRKt2wyVJFm3XzsRpp+7Q4xsOz6Nm 7sgll9MNLzKk8MEiaSK0SEG5Oem/n4Qlj7g/iNMsfgpiHukhF4gTUqpJ16ctppt3 ekVJGlE6BsX1sNl5hWebngIPcUkCGRorFR0bxC+9aw7cF/4eSwEh92OJBZ8pm6bs +U1lgAHY0e/otfJtNCQf6aCtpZE+DSL1NyNvPHMuDQwOQheVrMrTc71RPh7+i5fH zhebOqAxEtYIRaiYhmGLEj4+QDHoyTMed9O9XUqVsKpb2VoWmOblVYmxefskBkr1 TfW1uGJ2q+5/0p/XaBdKit8ELapc0TIy0I7VC+PvVrejGIWXVkaRiQn6Xg5t8Wc/ /3T+nuKivM63xnXWtgB7XoiPo4yIOd3aqf8Ra5nLXq7Yxu+7EuzCgmdR2vqGnJUr Nw6Ut7K82JIGQ9AqUxC9EZVkFv723VckrzzxL1wrgkU2r2b5Gd3Zv2nEUP6Qm127 Kmrani4S4hzeZ+LKPWLZNl+s4mKoDNPfGn6SyqhGFpfZAQfCvcp5QMxTIf/IqXhX G67Ox5cicA== =+Ryh -----END PGP SIGNATURE-----
