Commit 9b34de6f authored by Pierre Roux's avatar Pierre Roux Committed by Vincent Laporte
Browse files

coqPackages.multinomials: compiles on rocq 9.0

parent 297c1be3

pkgs/development/coq-modules/multinomials/default.nix

+1 −1
Original line number Diff line number Diff line
@@ -26,7 +26,7 @@ mkCoqDerivation { 
      [

        {

          cases = [

            (range "8.17" "8.20")

            (range "8.17" "9.0")

            (isGe "2.1.0")

          ];

          out = "2.3.0";