From e77db0c5dee0f028a0991d0749bb57b98d03ba97 Mon Sep 17 00:00:00 2001 From: erwan <erwan.jahier@univ-grenoble-alpes.fr> Date: Tue, 6 Jul 2021 16:14:32 +0200 Subject: [PATCH] Chore: fix the opam file --- lutils.opam | 1 - 1 file changed, 1 deletion(-) diff --git a/lutils.opam b/lutils.opam index 21d91ca..e284bf4 100644 --- a/lutils.opam +++ b/lutils.opam @@ -16,7 +16,6 @@ depends: [ "num" ] build: [ - [make "lib/lutilsVersion.ml"] ["dune" "build" "-p" name "-j" jobs] ] install: [make "install"] -- GitLab