update opam file
This commit is contained in:
parent
936dfa051e
commit
4e32abe0b3
Loading…
x
Reference in New Issue
Block a user