From f962f335935d5d6e946eaae3bc375069744fca48 Mon Sep 17 00:00:00 2001
From: John Wiegley <johnw@newartisans.com>
Date: Thu, 21 Dec 2017 01:24:35 -0800
Subject: Specify the coq version in a more consistent location

---
 pkgs/applications/science/logic/coq/default.nix | 2 +-
 pkgs/top-level/coq-packages.nix                 | 4 +++-
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/pkgs/applications/science/logic/coq/default.nix b/pkgs/applications/science/logic/coq/default.nix
index 6ab98f30ae69..f62f20fe7881 100644
--- a/pkgs/applications/science/logic/coq/default.nix
+++ b/pkgs/applications/science/logic/coq/default.nix
@@ -9,7 +9,7 @@
 , ocamlPackages, ncurses
 , buildIde ? true
 , csdp ? null
-, version ? "8.7.1"
+, version
 }:
 
 let
diff --git a/pkgs/top-level/coq-packages.nix b/pkgs/top-level/coq-packages.nix
index 076347e3b660..e0a412acad9f 100644
--- a/pkgs/top-level/coq-packages.nix
+++ b/pkgs/top-level/coq-packages.nix
@@ -64,7 +64,9 @@ in rec {
   coq_8_6 = callPackage ../applications/science/logic/coq {
     version = "8.6.1";
   };
-  coq_8_7 = callPackage ../applications/science/logic/coq {};
+  coq_8_7 = callPackage ../applications/science/logic/coq {
+    version = "8.7.1";
+  };
 
   coqPackages_8_5 = mkCoqPackages coq_8_5;
   coqPackages_8_6 = mkCoqPackages coq_8_6;
-- 
cgit 1.4.1