Commit 8500432f authored by Ralf Jung's avatar Ralf Jung

opam file: add synopsis

parent 09f69b7c
Pipeline #16470 passed with stage
in 8 minutes and 19 seconds