Author: maggesi
Date: Thu Aug 5 18:44:42 2010
New Revision: 22971
URL: https://svn.nixos.org/websvn/nix/?rev=22971&sc=1
Log:
Update Coq to version 8.2pl2 (patch by roconnor)
Modified:
nixpkgs/trunk/pkgs/applications/science/logic/coq/default.nix
Modified: nixpkgs/trunk/pkgs/applications/science/logic/coq/default.nix
==============================================================================
--- nixpkgs/trunk/pkgs/applications/science/logic/coq/default.nix Thu Aug
5 18:40:58 2010 (r22970)
+++ nixpkgs/trunk/pkgs/applications/science/logic/coq/default.nix Thu Aug
5 18:44:42 2010 (r22971)
@@ -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 ];
_______________________________________________
nix-commits mailing list
[email protected]
http://mail.cs.uu.nl/mailman/listinfo/nix-commits
