summarylogtreecommitdiffstats
path: root/PKGBUILD
AgeCommit message (Expand)Author
2024-02-16Update git protocolÁron Ricardo Perez-Lopez
2021-06-25update to latest btor2toolsDeian Stefan
2020-01-11Update to latestDeian Stefan
2019-06-13initDeian Stefan