diff options
author | Wojciech Nawrocki <wjnawrocki@protonmail.com> | 2023-09-12 14:52:16 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-09-12 14:52:16 -0400 |
commit | 8c55974f89208f7b8958325a656d626a48611ecd (patch) | |
tree | 3d6bbf59f755ef5aa9126ad863fb5e723ce3089c /pkgs/applications/science/logic/drat-trim | |
parent | cf7bdf94863f5feabb0b76afd824fe9f74353d71 (diff) |
Update pkgs/applications/science/logic/drat-trim/default.nix
Co-authored-by: Weijia Wang <9713184+wegank@users.noreply.github.com>
Diffstat (limited to 'pkgs/applications/science/logic/drat-trim')
-rw-r--r-- | pkgs/applications/science/logic/drat-trim/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/drat-trim/default.nix b/pkgs/applications/science/logic/drat-trim/default.nix index 8fb64d371ae27..78d810e19be23 100644 --- a/pkgs/applications/science/logic/drat-trim/default.nix +++ b/pkgs/applications/science/logic/drat-trim/default.nix @@ -7,7 +7,7 @@ stdenv.mkDerivation { src = fetchFromGitHub { owner = "marijnheule"; repo = "drat-trim"; - rev = "2e5e29cb0019d5cfd547d4208dca1b3ec290349f"; + rev = "refs/tags/v05.22.2023"; hash = "sha256-sV3A0f1TLSaTIdAtT6y8rU3ZS2UqEePJYSf3UySOlSA="; }; |