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

coqPackages.wasmcert 2.2.0 is compatible with Coq 9.1 (#493143)

parents cb31c55b 25599559

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

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

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

      [

        (case (lib.versions.range "8.20" "9.0") (lib.versions.isGe "2.4") "2.2.0")

        (case (lib.versions.range "8.20" "9.1") (lib.versions.isGe "2.4") "2.2.0")

      ]

      null;