Unverified Commit 25599559 authored by 4ever2's avatar 4ever2
Browse files

coqPackages.wasmcert: 2.2.0 is compatible with 9.1

parent 583c21d8

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;