diff options
author | Pol Dellaiera <pol.dellaiera@protonmail.com> | 2024-06-02 23:16:03 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-06-02 23:16:03 +0200 |
commit | de2d4e9e408899daa964e952118e9686590d6103 (patch) | |
tree | 000a28485ee7b039d5733d341002bf94d4818481 /pkgs/applications/science | |
parent | 63748249b83af416fe569e8ec65cbe956fc3ff3b (diff) | |
parent | 596212c22c621cdf50dadb60d70501ad5bc40afa (diff) | |
download | nixlib-de2d4e9e408899daa964e952118e9686590d6103.tar nixlib-de2d4e9e408899daa964e952118e9686590d6103.tar.gz nixlib-de2d4e9e408899daa964e952118e9686590d6103.tar.bz2 nixlib-de2d4e9e408899daa964e952118e9686590d6103.tar.lz nixlib-de2d4e9e408899daa964e952118e9686590d6103.tar.xz nixlib-de2d4e9e408899daa964e952118e9686590d6103.tar.zst nixlib-de2d4e9e408899daa964e952118e9686590d6103.zip |
Merge pull request #316554 from r-ryantm/auto-update/prooftree
prooftree: 0.13 -> 0.14
Diffstat (limited to 'pkgs/applications/science')
-rw-r--r-- | pkgs/applications/science/logic/prooftree/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/applications/science/logic/prooftree/default.nix b/pkgs/applications/science/logic/prooftree/default.nix index d0d95818ff93..ce8badf8f653 100644 --- a/pkgs/applications/science/logic/prooftree/default.nix +++ b/pkgs/applications/science/logic/prooftree/default.nix @@ -2,11 +2,11 @@ stdenv.mkDerivation rec { pname = "prooftree"; - version = "0.13"; + version = "0.14"; src = fetchurl { url = "https://askra.de/software/prooftree/releases/prooftree-${version}.tar.gz"; - sha256 = "0z1z4wqbqwgppkh2bm89fgy07a0y2m6g4lvcyzs09sm1ysklk2dh"; + sha256 = "sha256-nekV2UnjibOk4h0jZ1jV7W5pE/hXWb3fUoLTJb3Jzc0="; }; strictDeps = true; |