Commit 48f3d9f0 authored by Vincent Laporte's avatar Vincent Laporte Committed by Vincent Laporte
Browse files

coqPackages.corn: enable for Coq 8.17 

(cherry picked from commit 1dc5b6c9ee130c18a36d3d8078d35a21c69cc0ca)
parent d5abae43

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

+1 −1
Original line number Diff line number Diff line
@@ -5,7 +5,7 @@ mkCoqDerivation rec { 
  inherit version;

  defaultVersion = with lib.versions; lib.switch coq.coq-version [

    { case = "8.6"; out = "8.8.1"; }

    { case = (range "8.11" "8.16"); out = "8.16.0"; }

    { case = (range "8.11" "8.17"); out = "8.16.0"; }

    { case = (range "8.7"  "8.15"); out = "8.13.0"; }

  ] null;

  release = {