| Age | Commit message (Expand) | Author |
|---|---|---|
| 21 hours | Add options=('!lto') again | Manuel Wiesinger |
| 21 hours | Rename doc -> docs | Manuel Wiesinger |
| 21 hours | Built with LTO, do no provide libs for docs | Manuel Wiesinger |
| 22 hours | Non-functional, cosmetic | Manuel Wiesinger |
| 34 hours | 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 |