Commit a7c7c0b6 authored by Pierre Roux's avatar Pierre Roux Committed by Vincent Laporte
Browse files

coqPackages_8_19.coqprime

parent 9a393840

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

+1 −1
Original line number Diff line number Diff line
@@ -6,7 +6,7 @@ mkCoqDerivation { 
  owner = "thery";

  inherit version;

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

    { case = range "8.14" "8.18"; out = "8.18"; }

    { case = range "8.14" "8.19"; out = "8.18"; }

    { case = range "8.12" "8.16"; out = "8.15"; }

    { case = range "8.10" "8.11"; out = "8.10"; }

    { case = range "8.8"  "8.9";  out = "8.8"; }