| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2024-05-30 | 0.4.0 -> 0.5.0 | Manuel Wiesinger | |
| Remove no longer needed patches - 0003-Do-not-require-git.patch - upstream-gcc14.patch | |||
| 2024-05-14 | GCC 14 build fix, do not provide python bindings | Manuel Wiesinger | |
| AUR : bitwuzla.git | |
| AUR Package Repositories | click here to return to the package base details page |
| summarylogtreecommitdiffstats |
| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2024-05-30 | 0.4.0 -> 0.5.0 | Manuel Wiesinger | |
| Remove no longer needed patches - 0003-Do-not-require-git.patch - upstream-gcc14.patch | |||
| 2024-05-14 | GCC 14 build fix, do not provide python bindings | Manuel Wiesinger | |