From 838a3b4294aa475f686a1d748b8979fca3a8becb Mon Sep 17 00:00:00 2001
From: John Wiegley <johnw@newartisans.com>
Date: Wed, 14 Dec 2016 13:27:03 -0800
Subject: [PATCH] coq_8_6: 8.6rc1 -> 8.6

---
 pkgs/applications/science/logic/coq/8.6.nix | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/pkgs/applications/science/logic/coq/8.6.nix b/pkgs/applications/science/logic/coq/8.6.nix
index 659034e0586..9d3aa756aa5 100644
--- a/pkgs/applications/science/logic/coq/8.6.nix
+++ b/pkgs/applications/science/logic/coq/8.6.nix
@@ -12,10 +12,9 @@
 }:
 
 let
-  version = "8.6rc${pl}";
-  sha256 = {
-   "1" = "0wral36h39q7g2sa2z8jvjc8ggqmqsjrbs0k299n0nykmmrq1pr8";
-  }."${pl}";
+  # version = "8.6pl${pl}";
+  version = "8.6";
+  sha256 = "1pw1xvy1657l1k69wrb911iqqflzhhp8wwsjvihbgc72r3skqg3f";
   coq-version = "8.6";
   buildIde = lablgtk != null;
   ideFlags = if buildIde then "-lablgtkdir ${lablgtk}/lib/ocaml/*/site-lib/lablgtk2 -coqide opt" else "";