summarylogtreecommitdiffstats
path: root/PKGBUILD
AgeCommit message (Collapse)Author
2022-08-16Version 1.9.6Xuanrui Qi
2021-03-04Version 1.9.5Xuanrui Qi
2020-01-15Take over maintainership.Kenneth Endfinger
2019-03-27Move from [community] to AUR in connection with the spring cleaningAlexander F. Rødseth
2016-10-12depends: replace gringo by clingoVincent Bernardoff
2015-06-27Initial importVincent Bernardoff