[Nix-dev] Patch to update Coq

[maggesi at math.unifi.it]

Commited to svn.
Thanks!
Marco

Quoting 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.''
> _______________________________________________
> nix-dev mailing list
> nix-dev at cs.uu.nl
> https://mail.cs.uu.nl/mailman/listinfo/nix-dev



----------------------------------------------------------------
This message was sent using IMP, the Internet Messaging Program.