Unverified Commit d105a30b authored by Vincent Laporte's avatar Vincent Laporte
Browse files

coqPackages.aac-tactics: enable for Coq > 9.0

parent 45a7cce4

pkgs/development/coq-modules/aac-tactics/default.nix

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


    lib.switch coq.coq-version [

      {

        case = "9.0";

        case = lib.versions.isGe "9.0";

        out = "9.0.0";

      }

      {