Skip to content
Snippets Groups Projects
Commit e77db0c5 authored by erwan's avatar erwan
Browse files

Chore: fix the opam file

parent 55b3e912
No related branches found
No related tags found
Loading
Checking pipeline status