coqPackages.coq-ext-lib: add Coq 8.13

This commit is contained in:
Lars Rasmusson 2021-04-14 09:37:21 +02:00 committed by Vincent Laporte
parent 7fc935db12
commit 38c34b4304

View file

@ -5,7 +5,7 @@ with lib; mkCoqDerivation rec {
owner = "coq-ext-lib";
inherit version;
defaultVersion = with versions; switch coq.coq-version [
{ case = range "8.8" "8.12"; out = "0.11.3"; }
{ case = range "8.8" "8.13"; out = "0.11.3"; }
{ case = "8.7"; out = "0.9.7"; }
{ case = "8.6"; out = "0.9.5"; }
{ case = "8.5"; out = "0.9.4"; }