diff options
| author | Luflosi <luflosi@luflosi.de> | 2023-03-22 16:08:09 +0100 |
|---|---|---|
| committer | Luflosi <luflosi@luflosi.de> | 2023-03-22 16:08:09 +0100 |
| commit | ddb714f68d482bf1f3d079d0726294f62facaf2a (patch) | |
| tree | ef056e6b3a1e868cde5d34d265203ea658db5925 /pkgs/applications/science/logic/yices | |
| parent | 07513e2c6bd7dc08ac7c189d89aa1563db3ded1e (diff) | |
yices: fix typo in comment
Diffstat (limited to 'pkgs/applications/science/logic/yices')
| -rw-r--r-- | pkgs/applications/science/logic/yices/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/yices/default.nix b/pkgs/applications/science/logic/yices/default.nix index 83fbb6d6546b0..b97245cab4768 100644 --- a/pkgs/applications/science/logic/yices/default.nix +++ b/pkgs/applications/science/logic/yices/default.nix @@ -13,7 +13,7 @@ stdenv.mkDerivation rec { }; patches = [ - # musl las no ldconfig, create symlinks explicitly + # musl has no ldconfig, create symlinks explicitly ./linux-no-ldconfig.patch ]; postPatch = "patchShebangs tests/regress/check.sh"; |