Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Formal Land
tezos
Repository
"src/proto_alpha/lib_protocol/tx_rollup_ticket.ml" did not exist on "master-with-coq-j-and-k"
Compare
Find file
Copy HTTPS clone URL
Copy SSH clone URL
git@gitlab.com:formal-land/tezos.git
Copy HTTPS clone URL
https://gitlab.com/formal-land/tezos.git