summarylogtreecommitdiffstats
path: root/PKGBUILD
AgeCommit message (Expand)Author
2019-12-25Update check scriptQirui Wang
2019-11-11Add SMT solvers dependenciesQirui Wang
2019-06-30Add valgrind to checkdependsQirui Wang
2019-03-20Fix makedependsQirui Wang
2019-03-17Initial commitQirui Wang