From 31de2b94bccd4a7f91296d6217f6dc814f1652d8 Mon Sep 17 00:00:00 2001
From: Pierre Roux <pierre.roux@onera.fr>
Date: Wed, 8 Jan 2025 14:14:30 +0100
Subject: [PATCH] Adapt to https://github.com/coq/coq/pull/19975 (Give Stdlib
 its own repository)

---
 core-dev/packages/coq-stdlib/coq-stdlib.dev/opam   | 10 ++++------
 core-dev/packages/rocq-stdlib/rocq-stdlib.dev/opam | 10 ++++------
 2 files changed, 8 insertions(+), 12 deletions(-)

diff --git a/core-dev/packages/coq-stdlib/coq-stdlib.dev/opam b/core-dev/packages/coq-stdlib/coq-stdlib.dev/opam
index b374cde26..e5d710c4b 100644
--- a/core-dev/packages/coq-stdlib/coq-stdlib.dev/opam
+++ b/core-dev/packages/coq-stdlib/coq-stdlib.dev/opam
@@ -19,7 +19,7 @@ authors: ["The Coq development team, INRIA, CNRS, and contributors"]
 license: "LGPL-2.1-only"
 homepage: "https://coq.inria.fr/"
 doc: "https://coq.github.io/doc/"
-bug-reports: "https://github.com/coq/coq/issues"
+bug-reports: "https://github.com/coq/stdlib/issues"
 depends: [
   "dune" {>= "3.8"}
   "coq-core"
@@ -27,12 +27,11 @@ depends: [
   "odoc" {with-doc}
 ]
 depopts: ["coq-native"]
-dev-repo: "git+https://github.com/coq/coq.git"
+dev-repo: "git+https://github.com/coq/stdlib.git"
 build: [
-  ["sh" "-c" "echo '(dirs stdlib)' > dune"]
   ["dune" "subst"] {dev}
   [
-    "stdlib/dev/with-rocq-wrap.sh"
+    "dev/with-rocq-wrap.sh"
     "dune"
     "build"
     "-p"
@@ -43,9 +42,8 @@ build: [
     "@runtest" {with-test}
     "@doc" {with-doc}
   ]
-  ["mv" "stdlib/coq-stdlib.install" "."]
 ]
 
 url {
-  src: "git+https://github.com/coq/coq.git#master"
+  src: "git+https://github.com/coq/stdlib.git#master"
 }
diff --git a/core-dev/packages/rocq-stdlib/rocq-stdlib.dev/opam b/core-dev/packages/rocq-stdlib/rocq-stdlib.dev/opam
index 4bfeb6bf4..5eee58691 100644
--- a/core-dev/packages/rocq-stdlib/rocq-stdlib.dev/opam
+++ b/core-dev/packages/rocq-stdlib/rocq-stdlib.dev/opam
@@ -19,7 +19,7 @@ authors: ["The Rocq development team, INRIA, CNRS, and contributors"]
 license: "LGPL-2.1-only"
 homepage: "https://coq.inria.fr/"
 doc: "https://coq.github.io/doc/"
-bug-reports: "https://github.com/coq/coq/issues"
+bug-reports: "https://github.com/coq/stdlib/issues"
 depends: [
   "dune" {>= "3.8"}
   "rocq-runtime"
@@ -27,12 +27,11 @@ depends: [
   "odoc" {with-doc}
 ]
 depopts: ["coq-native"]
-dev-repo: "git+https://github.com/coq/coq.git"
+dev-repo: "git+https://github.com/coq/stdlib.git"
 build: [
-  ["sh" "-c" "echo '(dirs stdlib)' > dune"]
   ["dune" "subst"] {dev}
   [
-    "stdlib/dev/with-rocq-wrap.sh"
+    "dev/with-rocq-wrap.sh"
     "dune"
     "build"
     "-p"
@@ -43,9 +42,8 @@ build: [
     "@runtest" {with-test}
     "@doc" {with-doc}
   ]
-  ["mv" "stdlib/rocq-stdlib.install" "."]
 ]
 
 url {
-  src: "git+https://github.com/coq/coq.git#master"
+  src: "git+https://github.com/coq/stdlib.git#master"
 }