Commit 1399a84e authored by Ralf Jung's avatar Ralf Jung

better opam synopsis

parent 5219161d
Pipeline #31518 passed with stage
in 17 minutes and 51 seconds