Skip to content
Snippets Groups Projects
Commit 3c5a9ba5 authored by Ralf Jung's avatar Ralf Jung
Browse files

upgrade to opam 2 package

parent 6a97e962
Branches
No related tags found
No related merge requests found
Pipeline #22801 passed
Stage: build