Age | Commit message (Collapse) | Author | |
---|---|---|---|
2024-06-19 | Move gtest python-pytest to makedepends | Manuel Wiesinger | |
Even needed with --nocheck | |||
2024-06-19 | List python-sphinx only once in makedepends | Manuel Wiesinger | |
2024-05-30 | 0.4.0 -> 0.5.0 | Manuel Wiesinger | |
Remove no longer needed patches - 0003-Do-not-require-git.patch - upstream-gcc14.patch | |||
2024-05-14 | GCC 14 build fix, do not provide python bindings | Manuel Wiesinger | |
2024-03-30 | Bitwuzla initial commit | Manuel Wiesinger | |
- Tested in clean chroot - Tested in action |