From c8bdb723d20294f435109a7ad0e849499a12eb94 Mon Sep 17 00:00:00 2001
From: maggesi <maggesi@70bd8c7a-acb8-0310-9f0d-9cc1c95dcdbb>
Date: Thu, 5 Aug 2010 18:44:42 +0000
Subject: [PATCH] Update Coq to version 8.2pl2 (patch by roconnor)

git-svn-id: https://svn.nixos.org/repos/nix/nixpkgs/trunk@22971 70bd8c7a-acb8-0310-9f0d-9cc1c95dcdbb
---
 pkgs/applications/science/logic/coq/default.nix | 12 ++++--------
 1 file changed, 4 insertions(+), 8 deletions(-)

diff --git a/pkgs/applications/science/logic/coq/default.nix b/pkgs/applications/science/logic/coq/default.nix
index acf88848f..8716d39a1 100644
--- a/pkgs/applications/science/logic/coq/default.nix
+++ b/pkgs/applications/science/logic/coq/default.nix
@@ -4,19 +4,15 @@
 {stdenv, fetchurl, ocaml, camlp5, lablgtk, ncurses}:
 
 let
-
-  pname = "coq";
-  version = "8.2pl1";
-  name = "${pname}-${version}";
-
+  version = "8.2pl2";
 in
 
 stdenv.mkDerivation {
-  inherit name;
+  name = "coq-${version}";
 
   src = fetchurl {
-    url = "http://coq.inria.fr/V${version}/files/${name}.tar.gz";
-    sha256 = "7c15acfd369111e51d937cce632d22fc77a6718a5ac9f2dd2dcbdfab4256ae0c";
+    url = "http://coq.inria.fr/V${version}/files/coq-${version}.tar.gz";
+    sha256 = "0dh2vv3bvz8694dd12kjdkdaq19l1vslvygzif11igshc5bw4rhf";
   };
 
   buildInputs = [ ocaml camlp5 ncurses lablgtk ];
-- 
2.11.4.GIT