opam install why3-base=0.86
The following actions will be performed:
  ↘  downgrade menhir    20160526 to 20141215  [required by why3-base]
  ∗  install   why3-base 0.86
===== ∗  1   ↘  1 =====
Do you want to continue ? [Y/n] Y

=-=- Gathering sources =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
[menhir] Archive in cache
[menhir] Archive in cache
[why3-base] Archive in cache

=-=- Processing actions -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
⊘  removed   menhir.20160526
[ERROR] The compilation of menhir failed at "make PREFIX=/home/gpietro/.opam/4.03.0 docdir=/home/gpietro/.opam/4.03.0/doc/menhir
        libdir=/home/gpietro/.opam/4.03.0/lib/menhir mandir=/home/gpietro/.opam/4.03.0/man/man1".
Processing  2/3: [menhir: ocamlfind remove]
#=== ERROR while installing menhir.20141215 ===================================#
# opam-version 1.2.2
# os           linux
# command      make PREFIX=/home/gpietro/.opam/4.03.0 docdir=/home/gpietro/.opam/4.03.0/doc/menhir libdir=/home/gpietro/.opam/4.03.0/lib/menhir mandir=/home/gpietro/.opam/4.03.0/man/man1
# path         /home/gpietro/.opam/4.03.0/build/menhir.20141215
# compiler     4.03.0
# exit-code    2
# env-file     /home/gpietro/.opam/4.03.0/build/menhir.20141215/menhir-24128-d0f245.env
# stdout-file  /home/gpietro/.opam/4.03.0/build/menhir.20141215/menhir-24128-d0f245.out
# stderr-file  /home/gpietro/.opam/4.03.0/build/menhir.20141215/menhir-24128-d0f245.err
### stdout ###
# ERROR: Leftover OCaml compilation files:
# [...]
#   File infiniteArray.cmx in _build has suffix .cmx
#   File tableFormat.cmx in _build has suffix .cmx
#   File myocamlbuild.cmx in _build has suffix .cmx
#   File rowDisplacement.cmx in _build has suffix .cmx
#   File convert.cmx in _build has suffix .cmx
# Exiting due to hygiene violations.
# Makefile:46: recipe for target '.versioncheck' failed
# make[1]: Leaving directory '/home/gpietro/.opam/4.03.0/build/menhir.20141215/src'
# Makefile:78: recipe for target 'all' failed
### stderr ###
# make[1]: *** [.versioncheck] Error 1
# make: *** [all] Error 2



=-=- Error report -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
The following actions were aborted
  ∗  install why3-base 0.86
The following actions failed
  ∗  install menhir 20141215
The following changes have been performed
  ⊘  remove menhir 20160526

The former state can be restored with:
    opam switch import "~/.opam/4.03.0/backup/state-20160528222944.export"
gpietro@rhaegar:~/PhD/Works/Tabular/HOARe2$ make
ocamlbuild -use-ocamlfind src/arlc.native
+ ocamlfind ocamldep -package unix -package menhirLib -package why3 -modules src/arlc.ml > src/arlc.ml.depends
ocamlfind: Package `menhirLib' not found
Command exited with code 2.
Compilation unsuccessful after building 1 target (0 cached) in 00:00:00.
Makefile:22: recipe for target 'arlc.native' failed
make: *** [arlc.native] Error 10
gpietro@rhaegar:~/PhD/Works/Tabular/HOARe2$ make clean
ocamlbuild -use-ocamlfind -clean
Finished, 0 targets (0 cached) in 00:00:00.
rm -f src/parser.conflicts
rm -rf arlc arlc.* TAGS
gpietro@rhaegar:~/PhD/Works/Tabular/HOARe2$ make
ocamlbuild -use-ocamlfind src/arlc.native
+ ocamlfind ocamldep -package unix -package menhirLib -package why3 -modules src/arlc.ml > src/arlc.ml.depends
ocamlfind: Package `menhirLib' not found
Command exited with code 2.
Compilation unsuccessful after building 1 target (0 cached) in 00:00:00.
Makefile:22: recipe for target 'arlc.native' failed
make: *** [arlc.native] Error 10