From d2310b014a7c96c3dc491b0d04e390b5f117d5bf Mon Sep 17 00:00:00 2001 From: Matias Goldfeld <2000matu@gmail.com> Date: Sun, 7 Feb 2021 22:22:06 +0000 Subject: Removed generated version numbers --- disml.opam | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/disml.opam b/disml.opam index fc1631e..d386870 100644 --- a/disml.opam +++ b/disml.opam @@ -1,7 +1,3 @@ -version: "b499169-dirty" -version: "b499169-dirty" -version: "b499169-dirty" -version: "b499169-dirty" opam-version: "2.0" name: "disml" version: "0.2.5" @@ -41,4 +37,4 @@ build: [ ["dune" "subst"] {pinned} ["dune" "build" "-p" name "-j" jobs] ["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc} -] \ No newline at end of file +] -- cgit v1.2.3