Try to fix previous #3240

coq · Dec 7, 2024 · e0bd7ea · e0bd7ea
1 parent 935d67d
commit e0bd7ea
Show file tree

Hide file tree

Showing 5 changed files with 6 additions and 6 deletions.
diff --git a/core-dev/packages/coq-core/coq-core.dev/opam b/core-dev/packages/coq-core/coq-core.dev/opam
@@ -60,5 +60,5 @@ build: [
 ]
 
 url {
-  src: "git+https://github.com/coq/coq.git#master"
+  src: "git+https://github.com/proux01/coq.git#fix_opamt"
 }
diff --git a/core-dev/packages/coq-stdlib/coq-stdlib.dev/opam b/core-dev/packages/coq-stdlib/coq-stdlib.dev/opam
@@ -29,7 +29,7 @@ depends: [
 depopts: ["coq-native"]
 dev-repo: "git+https://github.com/coq/coq.git"
 build: [
-  ["cd" "stdlib"]
+  ["sh -c 'echo \"(dirs stdlib)\" > dune'"]
   ["dune" "subst"] {dev}
   [
     "dune"
@@ -47,5 +47,5 @@ build: [
 ]
 
 url {
-  src: "git+https://github.com/coq/coq.git#master"
+  src: "git+https://github.com/proux01/coq.git#fix_opamt"
 }
diff --git a/core-dev/packages/coq/coq.dev/opam b/core-dev/packages/coq/coq.dev/opam
@@ -53,5 +53,5 @@ build: [
 ]
 
 url {
-  src: "git+https://github.com/coq/coq.git#master"
+  src: "git+https://github.com/proux01/coq.git#fix_opamt"
 }
diff --git a/core-dev/packages/coqide-server/coqide-server.dev/opam b/core-dev/packages/coqide-server/coqide-server.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/proux01/coq.git#fix_opamt"
 }
diff --git a/core-dev/packages/rocq-core/rocq-core.dev/opam b/core-dev/packages/rocq-core/rocq-core.dev/opam
@@ -48,5 +48,5 @@ build: [
 ]
 
 url {
-  src: "git+https://github.com/coq/coq.git#master"
+  src: "git+https://github.com/proux01/coq.git#fix_opamt"
 }
-Original file line number
+Diff line change
@@ Expand Up / @@ -60,5 +60,5 @@ build: [ @@
     ]
     url {
-      src: "git+https://github.com/coq/coq.git#master"
+      src: "git+https://github.com/proux01/coq.git#fix_opamt"
     }