Age | Commit message (Collapse) | Author | |
---|---|---|---|
2022-08-16 | Version 1.9.6 | Xuanrui Qi | |
2021-03-04 | Version 1.9.5 | Xuanrui Qi | |
2020-01-15 | Take over maintainership. | Kenneth Endfinger | |
2019-03-27 | Move from [community] to AUR in connection with the spring cleaning | Alexander F. Rødseth | |
2016-10-12 | depends: replace gringo by clingo | Vincent Bernardoff | |
2015-06-27 | Initial import | Vincent Bernardoff | |