diff -Nru creduce-2.10.0+20201029/debian/changelog creduce-2.10.0+20201029/debian/changelog --- creduce-2.10.0+20201029/debian/changelog 2021-01-08 13:22:00.000000000 +0000 +++ creduce-2.10.0+20201029/debian/changelog 2021-01-09 14:59:48.000000000 +0000 @@ -1,3 +1,10 @@ +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. + + -- Matthias Klose Sat, 09 Jan 2021 15:59:48 +0100 + creduce (2.10.0+20201029-2) unstable; urgency=medium * Build using LLVM 9 on armel, armhf. See #979495. diff -Nru creduce-2.10.0+20201029/debian/control creduce-2.10.0+20201029/debian/control --- creduce-2.10.0+20201029/debian/control 2021-01-08 13:21:26.000000000 +0000 +++ creduce-2.10.0+20201029/debian/control 2021-01-09 14:59:48.000000000 +0000 @@ -8,12 +8,12 @@ libedit-dev, zlib1g-dev, llvm-11-dev [!armel !armhf], libclang-11-dev [!armel !armhf], libclang-cpp11-dev [!armel !armhf], clang-11 [!armel !armhf], clang-format-11 [!armel !armhf], - llvm-9-dev [armel armhf], libclang-9-dev [armel armhf], libclang-cpp9-dev [armel armhf], + llvm-9-dev [armel armhf], libclang-9-dev [armel armhf], clang-9 [armel armhf], clang-format-9 [armel armhf], libbenchmark-timer-perl, libfile-which-perl, libregexp-common-perl, libexporter-lite-perl, libgetopt-tabular-perl, libterm-readkey-perl, -# frama-c-base + frama-c-base Build-Conflicts: kcc Standards-Version: 4.5.1 Homepage: http://embed.cs.utah.edu/creduce/