diff options
author | Maximilian Bosch <maximilian@mbosch.me> | 2023-11-04 12:57:12 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-11-04 12:57:12 +0100 |
commit | b4c0c733b32c8b1bbe3ae7f12544947f82986a87 (patch) | |
tree | ac745bdc539e804ed4674eecd6b8bb98a3af25df /nixpkgs/pkgs/applications/science/logic/bitwuzla/default.nix | |
parent | e181a9d005f8ac29ddc035a89f26c4cd89a639e0 (diff) | |
parent | 09f7789948ae6e73f294870e44b6fe21f42d08b2 (diff) | |
download | nixlib-b4c0c733b32c8b1bbe3ae7f12544947f82986a87.tar nixlib-b4c0c733b32c8b1bbe3ae7f12544947f82986a87.tar.gz nixlib-b4c0c733b32c8b1bbe3ae7f12544947f82986a87.tar.bz2 nixlib-b4c0c733b32c8b1bbe3ae7f12544947f82986a87.tar.lz nixlib-b4c0c733b32c8b1bbe3ae7f12544947f82986a87.tar.xz nixlib-b4c0c733b32c8b1bbe3ae7f12544947f82986a87.tar.zst nixlib-b4c0c733b32c8b1bbe3ae7f12544947f82986a87.zip |
Merge pull request #263716 from Mic92/zfstools
zfstools: fix missing zpool in PATH
Diffstat (limited to 'nixpkgs/pkgs/applications/science/logic/bitwuzla/default.nix')
0 files changed, 0 insertions, 0 deletions