From 4bc893d9316689e14200ec7f1e57c7bf8a1d64cc Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel
Date: Mon, 4 Nov 2019 13:45:40 +0100
Subject: fix(*.opam): Add missing version

"dev" was not implied, and this can cause the following issues:

--8<---------------cut here---------------start------------->8---
$ docker run --rm -it coqorg/base:latest

 coq@…:~$ opam update
 coq@…:~$ git clone https://github.com/coq/coq.git
 Cloning into 'coq'...

 coq@…:~$ cd coq
 coq@…:~/coq$ opam pin add -n -k path coq .
 [coq.8.10.1] synchronised from file:///home/coq/coq
 coq is now pinned to file:///home/coq/coq (version 8.10.1)

  # issue 1. opam picks the first version he finds for coq from repos…

 coq@…:~/coq$ mv coq.opam foo.opam
 coq@…:~/coq$ opam pin add -n -k path foo .
 Package foo does not exist, create as a NEW package? [Y/n] y
 [foo.~dev] synchronised from file:///home/coq/coq
 foo is now pinned to file:///home/coq/coq (version ~dev)

  # issue 2. if none is found, opam sticks to some "~dev" version…
--8<---------------cut here---------------end--------------->8---
---
 coq-refman.opam    | 2 ++
 coq.opam           | 2 ++
 coqide-server.opam | 2 ++
 coqide.opam        | 2 ++
 4 files changed, 8 insertions(+)

diff --git a/coq-refman.opam b/coq-refman.opam
index 16be422c27..937c4b08d3 100644
--- a/coq-refman.opam
+++ b/coq-refman.opam
@@ -15,6 +15,8 @@ bug-reports: "https://github.com/coq/coq/issues"
 dev-repo: "https://github.com/coq/coq.git"
 license: "Open Publication License"
 
+version: "dev"
+
 depends: [
   "dune"      { build }
   "coq"       { build & = version }
diff --git a/coq.opam b/coq.opam
index 585e9df789..4399dafe7c 100644
--- a/coq.opam
+++ b/coq.opam
@@ -18,6 +18,8 @@ bug-reports: "https://github.com/coq/coq/issues"
 dev-repo: "git+https://github.com/coq/coq.git"
 license: "LGPL-2.1"
 
+version: "dev"
+
 depends: [
   "ocaml"     {         >= "4.05.0" }
   "dune"      { build & >= "1.10.0"  }
diff --git a/coqide-server.opam b/coqide-server.opam
index 5712ca08c2..5da533ea6b 100644
--- a/coqide-server.opam
+++ b/coqide-server.opam
@@ -18,6 +18,8 @@ bug-reports: "https://github.com/coq/coq/issues"
 dev-repo: "git+https://github.com/coq/coq.git"
 license: "LGPL-2.1"
 
+version: "dev"
+
 depends: [
   "dune"      { build & >= "1.10.0" }
   "coq"       {          = version }
diff --git a/coqide.opam b/coqide.opam
index d680ebb5f4..3e588ed0cf 100644
--- a/coqide.opam
+++ b/coqide.opam
@@ -16,6 +16,8 @@ bug-reports: "https://github.com/coq/coq/issues"
 dev-repo: "git+https://github.com/coq/coq.git"
 license: "LGPL-2.1"
 
+version: "dev"
+
 depends: [
   "dune"                 { build & >= "1.10.0" }
   "coqide-server"        {          = version }
-- 
cgit v1.2.3