Arch Linux User Repository
Home
Packages
Forums
Wiki
GitLab
Security
AUR
Download
AUR : bitwuzla.git
AUR Package Repositories | click
here
to return to the package base details page
summary
log
tree
commit
diff
stats
log msg
author
committer
range
Age
Commit message (
Expand
)
Author
2026-06-01
0.9.0 -> 0.9.1, updated dependencies
Manuel Wiesinger
2026-03-18
Re-enable -docs package
Manuel Wiesinger
2026-03-18
0.9.0, update dependencies + subproject changes
Manuel Wiesinger
2026-01-17
Hotfix: Don't build docs, until upstream fix
Manuel Wiesinger
2025-09-18
Add upstream patch to link aiger statically
Manuel Wiesinger
2025-08-05
0.8.1 -> 0.8.2
Your Name
2025-07-07
0.8.0 -> 0.8.1
Your Name
2025-05-26
0.7.0 -> 0.8.0, test patches
Your Name
2024-12-13
0.6.1 -> 0.7.0
Manuel Wiesinger
2024-11-14
Add options=('!lto') again
Manuel Wiesinger
2024-11-14
Rename doc -> docs
Manuel Wiesinger
2024-11-14
Built with LTO, do no provide libs for docs
Manuel Wiesinger
2024-11-14
Non-functional, cosmetic
Manuel Wiesinger
2024-11-14
0.6.0 -> 0.6.1
Manuel Wiesinger
2024-10-23
0.5.0 -> 0.6.0, add git to makedepends
Manuel Wiesinger
2024-06-19
Move gtest python-pytest to makedepends
Manuel Wiesinger
2024-06-19
List python-sphinx only once in makedepends
Manuel Wiesinger
2024-05-30
0.4.0 -> 0.5.0
Manuel Wiesinger
2024-05-14
GCC 14 build fix, do not provide python bindings
Manuel Wiesinger
2024-03-30
Bitwuzla initial commit
Manuel Wiesinger