This is purely a compatibility release for Frama-C 25.0 Manganese

sources: frama-c-metacsl-0.3.tar.gz