[Nix-dev] Patch to update Coq

[roconnor at theorem.ca]

Here is a patch to update coq to the most recent stable version.

Index: pkgs/applications/science/logic/coq/default.nix
===================================================================
--- pkgs/applications/science/logic/coq/default.nix     (revision 22814)
+++ pkgs/applications/science/logic/coq/default.nix     (working copy)
@@ -3,20 +3,14 @@

  {stdenv, fetchurl, ocaml, camlp5, lablgtk, ncurses}:

-let
-
+stdenv.mkDerivation rec {
    pname = "coq";
-  version = "8.2pl1";
+  version = "8.2pl2";
    name = "${pname}-${version}";

-in
-
-stdenv.mkDerivation {
-  inherit name;
-
    src = fetchurl {
-    url = "http://coq.inria.fr/V${version}/files/${name}.tar.gz";
-    sha256 = "7c15acfd369111e51d937cce632d22fc77a6718a5ac9f2dd2dcbdfab4256ae0c";
+    url = "http://coq.inria.fr/V${version}/files/${pname}-${version}.tar.gz";
+    sha256 = "0dh2vv3bvz8694dd12kjdkdaq19l1vslvygzif11igshc5bw4rhf";
    };

    buildInputs = [ ocaml camlp5 ncurses lablgtk ];

-- 
Russell O'Connor                                      <http://r6.ca/>
``All talk about `theft,''' the general counsel of the American Graphophone
Company wrote, ``is the merest claptrap, for there exists no property in
ideas musical, literary or artistic, except as defined by statute.''