GNUmakefile and coq-menhirlib.opam: remove dependency on Menhir. Use a...

GNUmakefile and coq-menhirlib.opam: remove dependency on Menhir. Use a conflicts: field to require the correct version of Menhir, if installed. Add date: and logpath: tags.
1 job for master
Status Job ID Name Coverage
  Test
failed #346066
pages

 
Name Stage Failure
failed
pages Test There has been a timeout failure or the job got stuck. Check your timeout limits or try again
No job trace