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 <email address hidden> Sat, 09 Jan 2021 15:59:48 +0100