Project

General

Profile

Download (1.26 KB) Statistics
| Branch: | Tag: | Revision:

lustrec/dune-project @ 57c96fb7

# Date Author Comment
57c96fb7 02/15/2021 02:26 PM Lélio Brun

setup tests for dune
97d4e95e 02/08/2021 10:23 AM Lélio Brun

add gmp dep
ca7e8027 02/05/2021 02:36 PM Lélio Brun

fix almost all warnings
3daa3cc3 02/03/2021 03:31 PM Lélio Brun

missing dune-site dep
e60a3711 02/03/2021 03:27 PM Lélio Brun

missing zarith dep
719ae9fd 02/03/2021 02:47 PM Lélio Brun

migration draft on dune