gpietro@rhaegar:~$ opam install why3-base=0.86 --solver=aspcud
The following actions will be performed:
  ∗  install menhir    20141215               [required by why3-base]
  ∗  install why3-base 0.86
===== ∗  2 =====
Do you want to continue ? [Y/n] y

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

=-=- Processing actions -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
[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  1/2: [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-2360-d2d111.env
# stdout-file  /home/gpietro/.opam/4.03.0/build/menhir.20141215/menhir-2360-d2d111.out
# stderr-file  /home/gpietro/.opam/4.03.0/build/menhir.20141215/menhir-2360-d2d111.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
No changes have been performed