diff options
| author | Manuel Wiesinger | 2024-05-30 02:51:17 +0200 |
|---|---|---|
| committer | Manuel Wiesinger | 2024-05-30 02:53:50 +0200 |
| commit | a2fb9e774fa416a79e9425a51cc540a9660f1918 (patch) | |
| tree | b1d51922597763ff9b9ee69ff77449520bf5ca03 /0002-Skip-Test-based-on-timeout.patch | |
| parent | 25190e6538df3dadc35d2030c6f8458ed9ae51d4 (diff) | |
| download | aur-bitwuzla.tar.gz | |
0.4.0 -> 0.5.0
Remove no longer needed patches
- 0003-Do-not-require-git.patch
- upstream-gcc14.patch
Diffstat (limited to '0002-Skip-Test-based-on-timeout.patch')
0 files changed, 0 insertions, 0 deletions