Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Shubham Kumar
Coq Tezos of OCaml
Repository
coq-tezos-of-ocaml
README.md
Find file
Blame
History
Permalink
README: install instructions from the opam file
· f0905b5d
Guillaume Claret
authored
Dec 30, 2021
f0905b5d