Module MenhirLib.StaticVersion

val require_20200612 : unit