Vincent Laporte 95510a94a5 leo2: 1.6.2 → 1.7.0 ...

Fix build with recent C++ compilers

Use a more recent OCaml (4.05)

(cherry picked from commit cafe9f88fc388a18e5437ffe01c359ab9467f21f)

2021-10-14 11:05:40 +00:00

..

default.nix

leo2: 1.6.2 → 1.7.0

2021-10-14 11:05:40 +00:00

default.upstream

…