Merge pull request #3255 from palmskog/fix-multinomials-2.3

fix build of coq-mathcomp-multinomials.2.3.0
coq · Dec 14, 2024 · da322b8 · da322b8
2 parents d567199 + 3a08aa7
commit da322b8
Showing 1 changed file with 2 additions and 5 deletions.
diff --git a/released/packages/coq-mathcomp-multinomials/coq-mathcomp-multinomials.2.3.0/opam b/released/packages/coq-mathcomp-multinomials/coq-mathcomp-multinomials.2.3.0/opam
@@ -5,13 +5,10 @@ bug-reports: "https://github.com/math-comp/multinomials/issues"
 dev-repo: "git+https://github.com/math-comp/multinomials.git"
 license: "CECILL-B"
 authors: ["Pierre-Yves Strub"]
-build: [
-  [ "dune" "build" "-p" name "-j" jobs ]
-]
+build: [make "-j%{jobs}%"]
+install: [make "install"]
 depends: [
   "coq"                    {(>= "8.16" & < "8.21~") | = "dev"}
-  "coq-elpi"               {< "2.2.1~"}
-  "dune"                   {>= "3.8"}
   "coq-mathcomp-ssreflect" {(>= "2.0" & < "2.4~") | = "dev"}
   "coq-mathcomp-algebra"
   "coq-mathcomp-bigenough" {(>= "1.0" & < "1.1~") | = "dev"}