1 files changed, 1 insertions, 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
+]