diff options
author | Vladimír Čunát <vcunat@gmail.com> | 2013-04-24 06:29:09 +0000 |
---|---|---|
committer | Vladimír Čunát <vcunat@gmail.com> | 2013-04-24 06:29:09 +0000 |
commit | bde20f3e881049c9d019eb34c07d6194b20b0042 (patch) | |
tree | f24782e55ca68a214d0fe7585097d97a6aa687dd /pkgs/applications/science/logic/eprover/default.nix | |
parent | 6a29a56c1277d80aa65e063f34a179c847e6d8b4 (diff) | |
parent | 50d66b945ee5aceae2bbf2eb791487e18ac9d374 (diff) | |
download | nixlib-bde20f3e881049c9d019eb34c07d6194b20b0042.tar nixlib-bde20f3e881049c9d019eb34c07d6194b20b0042.tar.gz nixlib-bde20f3e881049c9d019eb34c07d6194b20b0042.tar.bz2 nixlib-bde20f3e881049c9d019eb34c07d6194b20b0042.tar.lz nixlib-bde20f3e881049c9d019eb34c07d6194b20b0042.tar.xz nixlib-bde20f3e881049c9d019eb34c07d6194b20b0042.tar.zst nixlib-bde20f3e881049c9d019eb34c07d6194b20b0042.zip |
Merge branch 'master' into x-updates
Conflicts (just taken x-updates): pkgs/servers/x11/xorg/overrides.nix
Diffstat (limited to 'pkgs/applications/science/logic/eprover/default.nix')
-rw-r--r-- | pkgs/applications/science/logic/eprover/default.nix | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/pkgs/applications/science/logic/eprover/default.nix b/pkgs/applications/science/logic/eprover/default.nix index 8cc1de6e8dad..d36956d1375f 100644 --- a/pkgs/applications/science/logic/eprover/default.nix +++ b/pkgs/applications/science/logic/eprover/default.nix @@ -3,11 +3,11 @@ let s = # Generated upstream information rec { baseName="eprover"; - version="1.6"; + version="1.7"; name="${baseName}-${version}"; - hash="140cnw4qck1hancrqdh0f77yfba5ljhdnfxdxsl0a86a6y7ydbwi"; - url="http://www4.in.tum.de/~schulz/WORK/E_DOWNLOAD/V_1.6/E.tgz"; - sha256="140cnw4qck1hancrqdh0f77yfba5ljhdnfxdxsl0a86a6y7ydbwi"; + hash="1prkgjpg8lajcylz9nj2hfjxl3l42cqbfvilg30z9b5br14l36rh"; + url="http://www4.in.tum.de/~schulz/WORK/E_DOWNLOAD/V_1.7/E.tgz"; + sha256="1prkgjpg8lajcylz9nj2hfjxl3l42cqbfvilg30z9b5br14l36rh"; }; in stdenv.mkDerivation { |