scrub-obsolete Package - menhir

No unpublished successful runs for menhir.