Wojciech Nawrocki 8c55974f89 Update pkgs/applications/science/logic/drat-trim/default.nix ... Co-authored-by: Weijia Wang <9713184+wegank@users.noreply.github.com>		2023-09-12 14:52:16 -04:00
..
default.nix