diff options
| author | Gabriel Ebner <gebner@gebner.org> | 2016-01-29 09:36:50 +0100 |
|---|---|---|
| committer | Gabriel Ebner <gebner@gebner.org> | 2016-01-29 09:37:11 +0100 |
| commit | 462958b3b73468febd1a9c0a7be97976c0854401 (patch) | |
| tree | e61ff1b751f8e30e327f3c49f71197e0abbfd7d8 /pkgs/applications/science/logic/tptp | |
| parent | edad608f56ab8cb2d74f2d34e7c0f625e706a5b1 (diff) | |
| download | nixpkgs-462958b3b73468febd1a9c0a7be97976c0854401.tar nixpkgs-462958b3b73468febd1a9c0a7be97976c0854401.tar.gz nixpkgs-462958b3b73468febd1a9c0a7be97976c0854401.tar.bz2 nixpkgs-462958b3b73468febd1a9c0a7be97976c0854401.tar.lz nixpkgs-462958b3b73468febd1a9c0a7be97976c0854401.tar.xz nixpkgs-462958b3b73468febd1a9c0a7be97976c0854401.tar.zst nixpkgs-462958b3b73468febd1a9c0a7be97976c0854401.zip | |
tptp: 6.1.0 -> 6.3.0
Diffstat (limited to 'pkgs/applications/science/logic/tptp')
| -rw-r--r-- | pkgs/applications/science/logic/tptp/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/applications/science/logic/tptp/default.nix b/pkgs/applications/science/logic/tptp/default.nix index d4c62858753..636efa63595 100644 --- a/pkgs/applications/science/logic/tptp/default.nix +++ b/pkgs/applications/science/logic/tptp/default.nix @@ -11,14 +11,14 @@ let (builtins.attrNames (builtins.removeAttrs x helperArgNames)); sourceInfo = rec { baseName="TPTP"; - version="6.1.0"; + version="6.3.0"; name="${baseName}-${version}"; urls= [ "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" ]; - hash="054p0kx9qh619ixslxpb4qcwvcqr4kan154b3a87b546b78k7kv4"; + hash="17wl80mnm91jp3npdjzfbb8ds45f2gni250jlfw0d91i1476wcl3"; }; in rec { |