Commit a60985f5 authored by Wolfgang Meier's avatar Wolfgang Meier
Browse files

wasmcert 2.2.0 is compatible with 9.0

parent e23bcbe1

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

+1 −1
Original line number Diff line number Diff line
@@ -32,7 +32,7 @@ mkCoqDerivation { 
    lib.switch

      [ coq.coq-version mathcomp-boot.version ]

      [

        (case (isEq "8.20") (isEq "2.4") "2.2.0")

        (case (range "8.20" "9.0") (isEq "2.4") "2.2.0")

      ]

      null;