diff options
author | Robert Hensing <robert@roberthensing.nl> | 2024-03-07 18:39:12 +0100 |
---|---|---|
committer | Robert Hensing <robert@roberthensing.nl> | 2024-03-07 18:39:12 +0100 |
commit | 7d2a83e6c24ecd825a2f289bd8429db7316992a7 (patch) | |
tree | ba32a7a94d2b37cb3c6a4554c4b39a282554a4a1 /pkgs/applications/science/logic/yices/linux-no-ldconfig.patch | |
parent | 2a9cd8af1c2e923e2ddc071750c9dc1bb278589c (diff) | |
parent | d7570b04936e9b0f5268e0d834dee40368ad3308 (diff) |
Merge branch 'master' into HEAD
Diffstat (limited to 'pkgs/applications/science/logic/yices/linux-no-ldconfig.patch')
0 files changed, 0 insertions, 0 deletions