Commit 9078ad4b authored by Ralf Jung's avatar Ralf Jung

no reason to have the version in the opam file

parent 1b5fe017
......@@ -6,7 +6,6 @@ license: "BSD-3-Clause"
homepage: "https://gitlab.mpi-sws.org/iris/string-ident"
bug-reports: "https://gitlab.mpi-sws.org/iris/string-ident/issues"
dev-repo: "git+https://gitlab.mpi-sws.org/iris/string-ident.git"
version: "dev"
synopsis: "Add support for Gallina names in intro patterns to the Iris Proof Mode"
description: """
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment