Age | Commit message (Expand) | Author |
---|---|---|
6 days | GCC 14 build fix, do not provide python bindings | Manuel Wiesinger |
2024-03-30 | Bitwuzla initial commit | Manuel Wiesinger |
AUR : bitwuzla.git | |
AUR Package Repositories | click here to return to the package base details page |
summarylogtreecommitdiffstats |
Age | Commit message (Expand) | Author |
---|---|---|
6 days | GCC 14 build fix, do not provide python bindings | Manuel Wiesinger |
2024-03-30 | Bitwuzla initial commit | Manuel Wiesinger |