diff options
| author | Marco Maggesi <maggesi@math.unifi.it> | 2010-08-05 18:44:42 +0000 |
|---|---|---|
| committer | Marco Maggesi <maggesi@math.unifi.it> | 2010-08-05 18:44:42 +0000 |
| commit | c0f343b7527e5c706dfc687b4bd0f17143afd0ef (patch) | |
| tree | 5b035aa851b94d17fc3393a5bbd868be71c173b2 /pkgs/applications/science/logic | |
| parent | 5f8b8ae1d1577aea8b7fccf68abd5fc777135287 (diff) | |
| download | nixlib-c0f343b7527e5c706dfc687b4bd0f17143afd0ef.tar nixlib-c0f343b7527e5c706dfc687b4bd0f17143afd0ef.tar.gz nixlib-c0f343b7527e5c706dfc687b4bd0f17143afd0ef.tar.bz2 nixlib-c0f343b7527e5c706dfc687b4bd0f17143afd0ef.tar.lz nixlib-c0f343b7527e5c706dfc687b4bd0f17143afd0ef.tar.xz nixlib-c0f343b7527e5c706dfc687b4bd0f17143afd0ef.tar.zst nixlib-c0f343b7527e5c706dfc687b4bd0f17143afd0ef.zip | |
Update Coq to version 8.2pl2 (patch by roconnor)
svn path=/nixpkgs/trunk/; revision=22971
Diffstat (limited to 'pkgs/applications/science/logic')
| -rw-r--r-- | pkgs/applications/science/logic/coq/default.nix | 12 |
1 files changed, 4 insertions, 8 deletions
diff --git a/pkgs/applications/science/logic/coq/default.nix b/pkgs/applications/science/logic/coq/default.nix index acf88848f059..8716d39a1769 100644 --- a/pkgs/applications/science/logic/coq/default.nix +++ b/pkgs/applications/science/logic/coq/default.nix @@ -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 ]; |