Processed: FTBFS due to /usr/include/aarch64-linux-gnu/bits/math-vector.h

Processing control commands: > severity 1070441 important Bug #1070441 [src:cbmc] cmbc: arm64 FTBFS with glibc 2.38 Ignoring request to change severity of Bug 1070441 to the same value. > block 1070668 by 1070441 Bug #1070668 [src:glibc] glibc: packages FTBFS caused by vector math library header

Processed: FTBFS due to /usr/include/aarch64-linux-gnu/bits/math-vector.h

Processing control commands: > severity 1070441 important Bug #1070441 [src:cbmc] cmbc: arm64 FTBFS with glibc 2.38 Ignoring request to change severity of Bug 1070441 to the same value. > block 1070668 by 1070441 Bug #1070668 [src:glibc] glibc: packages FTBFS caused by vector math library header

Processed: FTBFS due to /usr/include/aarch64-linux-gnu/bits/math-vector.h

Processing control commands: > severity 1070441 important Bug #1070441 [src:cbmc] cmbc: arm64 FTBFS with glibc 2.38 Ignoring request to change severity of Bug 1070441 to the same value. > block 1070668 by 1070441 Bug #1070668 [src:glibc] glibc: packages FTBFS caused by vector math library header

Processed: FTBFS due to /usr/include/aarch64-linux-gnu/bits/math-vector.h

Processing control commands: > severity 1070441 important Bug #1070441 [src:cbmc] cmbc: arm64 FTBFS with glibc 2.38 Severity set to 'important' from 'serious' > block 1070668 by 1070441 Bug #1070668 [src:glibc] glibc: packages FTBFS caused by vector math library header on arm64 1070668 was not