all .mli files I could install with opam-2.0.0~beta2 on an Ubuntu-16.04.2 LTS x86_64
Find a file
2017-03-15 09:28:08 -05:00
4.04.0 regenerated .json files 2017-03-15 09:28:08 -05:00
README.md added README.md 2017-03-01 15:15:59 -06:00
test.json regenerated .json files 2017-03-15 09:28:08 -05:00

How those .mli files were obtained

Commands that were used

First, opam-2.0.0~beta2 was installed. Then:

opam  switch create 4.04.0
eval `opam env`
opam list --installable | egrep -v '^#' | awk '{print $1}' \
  > opam_installable
opam depext -i $(cat opam_installable)
opam install --soft-request $(cat opam_installable)