Skip to content
GitLab
Explore
Sign in
Michael Sammler
iris-coq
Repository
iris-coq
Makefile
Find file
Blame
History
Permalink
upgrade opam file to opam 2
· 4fc1ca8b
Ralf Jung
authored
Jan 13, 2020
4fc1ca8b