diff options
author | Michael Raskin <7c6f434c@mail.ru> | 2016-06-20 18:38:08 +0200 |
---|---|---|
committer | Michael Raskin <7c6f434c@mail.ru> | 2016-06-20 18:38:08 +0200 |
commit | ca495a53a55dde28a968bccdba2733713d74f80e (patch) | |
tree | 0f92c6bdb576b9990b1d8c97d65c1eba5411bc79 /pkgs/applications/science/logic/tptp | |
parent | 0d9bb144d9c638c46ca88a58e8cfc12168c259ac (diff) | |
download | nixlib-ca495a53a55dde28a968bccdba2733713d74f80e.tar nixlib-ca495a53a55dde28a968bccdba2733713d74f80e.tar.gz nixlib-ca495a53a55dde28a968bccdba2733713d74f80e.tar.bz2 nixlib-ca495a53a55dde28a968bccdba2733713d74f80e.tar.lz nixlib-ca495a53a55dde28a968bccdba2733713d74f80e.tar.xz nixlib-ca495a53a55dde28a968bccdba2733713d74f80e.tar.zst nixlib-ca495a53a55dde28a968bccdba2733713d74f80e.zip |
tptp: fix hash
Diffstat (limited to 'pkgs/applications/science/logic/tptp')
-rw-r--r-- | pkgs/applications/science/logic/tptp/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/tptp/default.nix b/pkgs/applications/science/logic/tptp/default.nix index f3cd8ab69271..e9a89bc0dc6d 100644 --- a/pkgs/applications/science/logic/tptp/default.nix +++ b/pkgs/applications/science/logic/tptp/default.nix @@ -9,7 +9,7 @@ stdenv.mkDerivation rec { "http://www.cs.miami.edu/~tptp/TPTP/Distribution/TPTP-v${version}.tgz" "http://www.cs.miami.edu/~tptp/TPTP/Archive/TPTP-v${version}/TPTP-v${version}.tgz" ]; - sha256 = "17wl80mnm91jp3npdjzfbb8ds45f2gni250jlfw0d91i1476wcl3"; + sha256 = "0xy4cqniyx9fv8r9mc5q5b7xl163pkr9hcmpq6gkls2a0pvg07w9"; }; buildInputs = [ tcsh yap perl patchelf ]; |