diff options
author | Jarrod Pas <jarrod@jarrodpas.com> | 2020-01-26 09:37:22 -0600 |
---|---|---|
committer | Jarrod Pas <jarrod@jarrodpas.com> | 2020-01-26 09:37:22 -0600 |
commit | b25a192755a4429fc65fefb38f4ebd213971b361 (patch) | |
tree | 7d3d0779b19028d13f8630a004b2e999c013d4c7 /pkgs/development/coq-modules | |
parent | bebbc486d01f9aa66e6505c0d3ba8f3505d78934 (diff) |
coqPackages.CoLoR support for Coq 8.10
Diffstat (limited to 'pkgs/development/coq-modules')
-rw-r--r-- | pkgs/development/coq-modules/CoLoR/default.nix | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/pkgs/development/coq-modules/CoLoR/default.nix b/pkgs/development/coq-modules/CoLoR/default.nix index c4a02162fa785..d145586af43be 100644 --- a/pkgs/development/coq-modules/CoLoR/default.nix +++ b/pkgs/development/coq-modules/CoLoR/default.nix @@ -6,6 +6,7 @@ let "8.7" = "1.4.0"; "8.8" = "1.6.0"; "8.9" = "1.6.0"; + "8.10" = "1.7.0"; }; params = { "1.4.0" = { @@ -18,6 +19,11 @@ let rev = "328aa06270584b578edc0d2925e773cced4f14c8"; sha256 = "07sy9kw1qlynsqy251adgi8b3hghrc9xxl2rid6c82mxfsp329sd"; }; + "1.7.0" = { + version = "1.7.0"; + rev = "08b5481ed6ea1a5d2c4c068b62156f5be6d82b40"; + sha256 = "1w7fmcpf0691gcwq00lm788k4ijlwz3667zj40j5jjc8j8hj7cq3"; + }; }; param = params.${coqVersions.${coq.coq-version}}; in |