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-11-14 | Add -docs to provides()/conflicts, cosmetics | Manuel Wiesinger | |
Tested in clean chroot | |||
2024-05-14 | Python 3.12 bump, remove provide Python binding | Manuel Wiesinger | |
2024-03-30 | bitwuzla-git initial commit | Manuel Wiesinger | |
- Tested in clean chroot - Tested in action |