From b324162a1277a9077e7e24146af4ff47cfaa0e3f Mon Sep 17 00:00:00 2001 From: Matthieu Dubuget Date: Sat, 18 Jan 2020 09:24:02 +0100 Subject: [PATCH] Essai --- dune-project | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dune-project b/dune-project index eb977bf..793c088 100644 --- a/dune-project +++ b/dune-project @@ -1,7 +1,7 @@ (lang dune 2.0) (generate_opam_files true) - +(name nombres) (package (name nombres) (description