From 4524b2b360258bdd6bbeb8723a58499f4283ae3c Mon Sep 17 00:00:00 2001 From: Matthieu Sozeau Date: Wed, 29 Jan 2025 11:00:17 +0100 Subject: [PATCH] Remove spurious package --- .../coq-equations/coq-equations.1.3.1+9.0/opam | 2 +- .../packages/coq-equations/coq-equations.9.0/opam | 11 ----------- 2 files changed, 1 insertion(+), 12 deletions(-) delete mode 100644 extra-dev/packages/coq-equations/coq-equations.9.0/opam 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 index 1412ca13b..d4761a8b2 100644 --- 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 deleted file mode 100644 index d4761a8b2..000000000 --- a/extra-dev/packages/coq-equations/coq-equations.9.0/opam +++ /dev/null @@ -1,11 +0,0 @@ -opam-version: "2.0" -authors: [ "Matthieu Sozeau " ] -maintainer: "matthieu.sozeau@inria.fr" -homepage: "https://mattam82.github.io/Coq-Equations" -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" { = "1.3.1+9.0" } -] -synopsis: "Compatibility package, see rocq-equations"