Incompatibility between Ubuntu 24.04/22.04 #69
Description
This is a tracking issue for version compatibility between verus and verus-analyzer.
It has been reported that at some point in the last 5 years, Ubuntu introduced an incompatibility with glibc. This means that building verus on Ubuntu 24.04 (the latest LTS, which is almost being replaced with 26.04) and verus-analyzer on 22.04 (or older presumably) will fail, as reported on verus-lang/verus#1382.