Commited to svn.
Thanks!
Marco
Quoting [email protected]:
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
[email protected]
https://mail.cs.uu.nl/mailman/listinfo/nix-dev
----------------------------------------------------------------
This message was sent using IMP, the Internet Messaging Program.
_______________________________________________
nix-dev mailing list
[email protected]
https://mail.cs.uu.nl/mailman/listinfo/nix-dev
