aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMatias Goldfeld <[email protected]>2021-01-26 03:44:46 -0500
committerMatias Goldfeld <[email protected]>2021-01-26 03:44:46 -0500
commit81d9361127b2950b83b499ffe6b54f0331ab2a14 (patch)
treef3ebe7d0ce6f29a451215125b18061f854de53d3
parentStated incompatability with new versions of decompress in disml.opam and made... (diff)
downloaddisml-81d9361127b2950b83b499ffe6b54f0331ab2a14.tar.xz
disml-81d9361127b2950b83b499ffe6b54f0331ab2a14.zip
Whoops don't know how that got in there
-rw-r--r--disml.opam1
1 files changed, 0 insertions, 1 deletions
diff --git a/disml.opam b/disml.opam
index 4f35302..313018b 100644
--- a/disml.opam
+++ b/disml.opam
@@ -1,4 +1,3 @@
-version: "cbb1e47-dirty"
opam-version: "2.0"
name: "disml"
version: "0.2.5"