| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2024-12-17 | Feature updates, no patches, no installed libs | Manuel Wiesinger | |
| - Updated new (experimental) features - Updated depends + makedepends - No patch to use installed system libraries - i.e., clone dependencies and link statically - This is what upstream tests + Tested in clean chroot | |||
| 2024-03-30 | bitwuzla-git initial commit | Manuel Wiesinger | |
| - Tested in clean chroot - Tested in action | |||