Unverified Commit 2ceb7931 authored by Vincent Laporte's avatar Vincent Laporte
Browse files

coqPackages.rewriter: enable for Coq > 9.0

parent d105a30b

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

+1 −1
Original line number Diff line number Diff line
@@ -16,7 +16,7 @@ mkCoqDerivation { 
    in

    lib.switch coq.coq-version [

      {

        case = range "8.17" "9.0";

        case = range "8.17" "9.2";

        out = "0.0.15";

      }

    ] null;