Skip to content
GitLab
Explore
Sign in
Iris
Fairis
Repository
fairis
opam
Find file
Blame
History
Permalink
reflect Coq dependency in opam
· facc5dc8
Ralf Jung
authored
Mar 05, 2018
facc5dc8