From ebce795c5c6d5d156783cff389194ab6e6c7eba5 Mon Sep 17 00:00:00 2001
From: Vincent Laporte <Vincent.Laporte@gmail.com>
Date: Mon, 4 Sep 2017 02:39:03 +0000
Subject: coqPackages: remove duplication in mkCoqPackages

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

(limited to 'pkgs/development/coq-modules/CoLoR')

diff --git a/pkgs/development/coq-modules/CoLoR/default.nix b/pkgs/development/coq-modules/CoLoR/default.nix
index c7aaf2a2e3299..ececcf8074051 100644
--- a/pkgs/development/coq-modules/CoLoR/default.nix
+++ b/pkgs/development/coq-modules/CoLoR/default.nix
@@ -1,5 +1,9 @@
 { stdenv, fetchurl, coq }:
 
+if !stdenv.lib.versionAtLeast coq.coq-version "8.6"
+then throw "CoLoR is not available for Coq ${coq.coq-version}"
+else
+
 stdenv.mkDerivation {
   name = "coq${coq.coq-version}-CoLoR-1.3.0";
 
-- 
cgit 1.4.1