Builds for coq-menhirlib

Latest: 20240715+ds-1