public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Update Coq to version 8.2pl2 (patch by roconnor)

Browse Source 
svn path=/nixpkgs/trunk/; revision=22971
This commit is contained in:
Marco Maggesi 2010-08-05 18:44:42 +00:00
parent 5f8b8ae1d1
commit c0f343b752
1 changed files with 4 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
pkgs/applications/science/logic/coq/default.nix
View File

@ -4,19 +4,15 @@
{stdenv, fetchurl, ocaml, camlp5, lablgtk, ncurses}: {stdenv, fetchurl, ocaml, camlp5, lablgtk, ncurses}:
let let
version = "8.2pl2";
pname = "coq";
version = "8.2pl1";
name = "${pname}-${version}";
in in
stdenv.mkDerivation { stdenv.mkDerivation {
inherit name; name = "coq-${version}";
src = fetchurl { src = fetchurl {
url = "http://coq.inria.fr/V${version}/files/${name}.tar.gz"; url = "http://coq.inria.fr/V${version}/files/coq-${version}.tar.gz";
sha256 = "7c15acfd369111e51d937cce632d22fc77a6718a5ac9f2dd2dcbdfab4256ae0c"; sha256 = "0dh2vv3bvz8694dd12kjdkdaq19l1vslvygzif11igshc5bw4rhf";
}; };
buildInputs = [ ocaml camlp5 ncurses lablgtk ]; buildInputs = [ ocaml camlp5 ncurses lablgtk ];