public
/
nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

coqPackages.CoLoR: enable for Coq 8.11

This commit is contained in:
Vincent Laporte 2020-05-26 08:14:37 +02:00 committed by Vincent Laporte
parent 868ad77793
commit 19dab239bb
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
pkgs/development/coq-modules/CoLoR/default.nix
View File

@ -7,6 +7,7 @@ let
"8.8" = "1.6.0";
"8.9" = "1.6.0";
"8.10" = "1.7.0";
"8.11" = "1.7.0";
};
params = {
"1.4.0" = {