diff --git a/core-dev/packages/coq-core/coq-core.dev/opam b/core-dev/packages/coq-core/coq-core.dev/opam
index e257e595d6..6d6e2abf6a 100644
--- 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
index f40ff0586c..5798727039 100644
--- 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
index 7ea7f5cd74..ee266a3133 100644
--- 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
index 92c8f50db3..fda4c18c23 100644
--- 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
index dc16e870ee..3504a94ca1 100644
--- 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"
 }