Skip to content
GitLab
Explore
Sign in
Iris
string-ident
Repository
string-ident
opam
Find file
Blame
History
Permalink
opam: require minimum Iris version (fix
#2
)
· f55f24ef
Paolo G. Giarrusso
authored
Apr 07, 2020
and
Ralf Jung
committed
Apr 07, 2020
f55f24ef