Backport opam file changes from repo

proux01 · proux01 · commit 4ff54cc10a1b · 2025-06-02T13:46:43.000+02:00
Following ocaml/opam-repository#27613
diff --git a/coq-core.opam b/coq-core.opam
@@ -42,3 +42,7 @@ build: [
   ]
 ]
 dev-repo: "git+https://github.com/rocq-prover/rocq.git"
+post-messages: [
+  "Coq has been renamed to The Rocq Prover, see https://rocq-prover.org/refman/changes.html#porting-to-the-rocq-prover for details. 
+   This package provides compatibility binaries to ease the transition to the new rocq binary."
+]
diff --git a/coq-core.opam.template b/coq-core.opam.template
@@ -0,0 +1,4 @@
+post-messages: [
+  "Coq has been renamed to The Rocq Prover, see https://rocq-prover.org/refman/changes.html#porting-to-the-rocq-prover for details. 
+   This package provides compatibility binaries to ease the transition to the new rocq binary."
+]

Original file line number	Diff line number	Diff line change
`@@ -42,3 +42,7 @@ build: [`
`42`	`42`	`]`
`43`	`43`	`]`
`44`	`44`	`dev-repo: "git+https://github.com/rocq-prover/rocq.git"`
	`45`	`+post-messages: [`
	`46`	`+ "Coq has been renamed to The Rocq Prover, see https://rocq-prover.org/refman/changes.html#porting-to-the-rocq-prover for details.`
	`47`	`+ This package provides compatibility binaries to ease the transition to the new rocq binary."`
	`48`	`+]`