https://gitlab.com/tezos/tezos
Raw File
Tip revision: df12b817879737855b82b460a09fa443c3d83ca4 authored by Romain Bardou on 04 August 2020, 15:58:58 UTC
Docker: use images with libgcc
Tip revision: df12b81
dune-project
(lang dune 1.11)

; dune-project files are automatically generated by dune but they are kept
; checked in the repository to allow building with Dune 2 seamlessly.
; If needed, they can be easily removed with: find . -name dune-project -delete
back to top