https://gitlab.com/tezos/tezos
Raw File
Tip revision: f5bd6993274030369e3ee2982389ffa05727e71d authored by Ole Krüger on 15 December 2022, 14:27:15 UTC
Doc: Back port merge request 7097
Tip revision: f5bd699
dune
(executable
 (name main)
 (libraries re))
back to top