Merge pull request #3292 from palmskog/fix-9

fix branch for 9.0 packages
coq · Jan 15, 2025 · ec2c56b · ec2c56b
2 parents f239a88 + d8e773d
commit ec2c56b
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/core-dev/packages/coq-core/coq-core.9.0.dev/opam b/core-dev/packages/coq-core/coq-core.9.0.dev/opam
@@ -32,5 +32,5 @@ build: [
 ]
 
 url {
-  src: "git+https://github.com/coq/coq.git#master"
+  src: "git+https://github.com/coq/coq.git#v9.0"
 }
diff --git a/core-dev/packages/coqide-server/coqide-server.9.0.dev/opam b/core-dev/packages/coqide-server/coqide-server.9.0.dev/opam
@@ -40,5 +40,5 @@ build: [
 dev-repo: "git+https://github.com/coq/coq.git"
 
 url {
-  src: "git+https://github.com/coq/coq.git#master"
+  src: "git+https://github.com/coq/coq.git#v9.0"
 }
diff --git a/core-dev/packages/rocq-core/rocq-core.9.0.dev/opam b/core-dev/packages/rocq-core/rocq-core.9.0.dev/opam
@@ -48,5 +48,5 @@ build: [
 ]
 
 url {
-  src: "git+https://github.com/coq/coq.git#master"
+  src: "git+https://github.com/coq/coq.git#v9.0"
 }
diff --git a/core-dev/packages/rocq-runtime/rocq-runtime.9.0.dev/opam b/core-dev/packages/rocq-runtime/rocq-runtime.9.0.dev/opam
@@ -61,5 +61,5 @@ build: [
 ]
 
 url {
-  src: "git+https://github.com/coq/coq.git#master"
+  src: "git+https://github.com/coq/coq.git#v9.0"
 }
-Original file line number
+Diff line change
@@ Expand Up / @@ -32,5 +32,5 @@ build: [ @@
     ]
     url {
-      src: "git+https://github.com/coq/coq.git#master"
+      src: "git+https://github.com/coq/coq.git#v9.0"
     }