Unverified Commit d31e1496 authored by Vincent Laporte's avatar Vincent Laporte Committed by GitHub
Browse files

coqPackages.wasmcert 2.2.0 is compatible with Coq 9.0 (#457407)

parents d674d0fb a60985f5

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;