Remove spurious package

coq · Jan 29, 2025 · 4524b2b · 4524b2b
1 parent 2e2d4ba
commit 4524b2b
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 12 deletions.
diff --git a/extra-dev/packages/coq-equations/coq-equations.1.3.1+9.0/opam b/extra-dev/packages/coq-equations/coq-equations.1.3.1+9.0/opam
@@ -6,6 +6,6 @@ dev-repo: "git+https://github.com/mattam82/Coq-Equations.git"
 bug-reports: "https://github.com/mattam82/Coq-Equations/issues"
 license: "LGPL-2.1-only"
 depends: [
-  "rocq-equations" { = "9.0" }
+  "rocq-equations" { = "1.3.1+9.0" }
 ]
 synopsis: "Compatibility package, see rocq-equations"
diff --git a/extra-dev/packages/coq-equations/coq-equations.9.0/opam b/extra-dev/packages/coq-equations/coq-equations.9.0/opam