Daniil Baturin aa2bff5ff5
Install Menhir with opam and use an opam pin for installing vyconf
Quite a bit shorter than running the whole vyconf build sequence by hand.
2019-01-26 05:10:04 +07:00
..