summarylogtreecommitdiffstats
path: root/.SRCINFO
AgeCommit message (Expand)Author
7 days0.6.1 -> 0.7.0Manuel Wiesinger
2024-11-14Add options=('!lto') againManuel Wiesinger
2024-11-14Rename doc -> docsManuel Wiesinger
2024-11-14Built with LTO, do no provide libs for docsManuel Wiesinger
2024-11-140.6.0 -> 0.6.1Manuel Wiesinger
2024-10-230.5.0 -> 0.6.0, add git to makedependsManuel Wiesinger
2024-06-19Move gtest python-pytest to makedependsManuel Wiesinger
2024-06-19List python-sphinx only once in makedependsManuel Wiesinger
2024-05-300.4.0 -> 0.5.0Manuel Wiesinger
2024-05-14GCC 14 build fix, do not provide python bindingsManuel Wiesinger
2024-03-30Bitwuzla initial commitManuel Wiesinger