Commit 4b6af89c authored by Ralf Jung's avatar Ralf Jung

no more opam.pins

parent 01d4aff9
Pipeline #4453 passed with stages
in 4 minutes and 18 seconds