diff options
| author | Yorick <yorick@yorickvanpelt.nl> | 2023-09-13 15:53:03 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-09-13 15:53:03 +0200 |
| commit | e4c9667019bc1e39a5fb819a5b2192af08695954 (patch) | |
| tree | 17dbafb91f570e4ca8145180fcacba32c1dd827c /pkgs/applications/science | |
| parent | ea36f70f90642c02eaeadf8da87389428dc82a7a (diff) | |
| parent | 8c55974f89208f7b8958325a656d626a48611ecd (diff) | |
Merge pull request #254490 from Vtec234/master
drat-trim: 2020-06-05 -> 2023-05-22
Diffstat (limited to 'pkgs/applications/science')
| -rw-r--r-- | pkgs/applications/science/logic/drat-trim/default.nix | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/pkgs/applications/science/logic/drat-trim/default.nix b/pkgs/applications/science/logic/drat-trim/default.nix index c58a29dc28944..78d810e19be23 100644 --- a/pkgs/applications/science/logic/drat-trim/default.nix +++ b/pkgs/applications/science/logic/drat-trim/default.nix @@ -1,14 +1,14 @@ { lib, stdenv, fetchFromGitHub }: stdenv.mkDerivation { - pname = "drat-trim-unstable"; - version = "2020-06-05"; + pname = "drat-trim"; + version = "2023-05-22"; src = fetchFromGitHub { owner = "marijnheule"; repo = "drat-trim"; - rev = "9afad0f7156a1e9c6ce19dce5d72cf1cb9a3ef27"; - sha256 = "1zq585igfaknwqbvv2cji744016zxadbvr0ifr5l6yq13m0vvn3b"; + rev = "refs/tags/v05.22.2023"; + hash = "sha256-sV3A0f1TLSaTIdAtT6y8rU3ZS2UqEePJYSf3UySOlSA="; }; postPatch = '' |