colin/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Update pkgs/applications/science/logic/drat-trim/default.nix

Browse Source 
Co-authored-by: Weijia Wang <9713184+wegank@users.noreply.github.com>
This commit is contained in:
Wojciech Nawrocki 2023-09-12 14:52:16 -04:00 committed by GitHub
parent cf7bdf9486
commit 8c55974f89
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/applications/science/logic/drat-trim/default.nix
View File

@ -7,7 +7,7 @@ stdenv.mkDerivation {
src = fetchFromGitHub {
owner = "marijnheule";
repo = "drat-trim";
rev = "2e5e29cb0019d5cfd547d4208dca1b3ec290349f";
rev = "refs/tags/v05.22.2023";
hash = "sha256-sV3A0f1TLSaTIdAtT6y8rU3ZS2UqEePJYSf3UySOlSA=";
};