Accepted creduce 2.10.0+20201029-3 (source) into unstable
-----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-----