From b25a192755a4429fc65fefb38f4ebd213971b361 Mon Sep 17 00:00:00 2001
From: Jarrod Pas <jarrod@jarrodpas.com>
Date: Sun, 26 Jan 2020 09:37:22 -0600
Subject: [PATCH] coqPackages.CoLoR support for Coq 8.10

---
 pkgs/development/coq-modules/CoLoR/default.nix | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/pkgs/development/coq-modules/CoLoR/default.nix b/pkgs/development/coq-modules/CoLoR/default.nix
index c4a02162fa78..d145586af43b 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