summarylogtreecommitdiffstats
AgeCommit message (Expand)Author
2024-02-165.7.1Andrew Sun
2022-11-075.6.2Andrew Sun
2022-09-165.6.1Andrew Sun
2022-09-115.6.0Andrew Sun
2022-06-03disable lto for now to fix buildAndrew Sun
2022-05-045.5.2Andrew Sun
2021-11-165.5.1Andrew Sun
2021-07-07add extra python optionAndrew Sun
2021-04-205.5.0Andrew Sun
2020-12-065.4.1Andrew Sun
2019-11-15bump pkgrelAndrew Sun
2019-11-15python 3.8 fixAndrew Sun
2019-09-18oopsAndrew Sun
2019-09-17fix debug buildsAndrew Sun
2019-09-12clingo: add i686 and pentium4 supportAndrew Sun
2019-09-01switch LICENSEAndrew Sun
2019-09-01clingo: update to 5.4.0Andrew Sun
2019-03-27Move from [community] to AUR in connection with the semi-annual spring cleaningAlexander F. Rødseth
2019-03-27Move to AUR in connection with the spring cleaningAlexander F. Rødseth
2016-10-24Update to 5.1.0Vincent Bernardoff
2016-10-12Update to 5.0.0Vincent Bernardoff
2016-04-14Update to 4.5.4Vincent Bernardoff
2015-11-15Update to 4.5.3-1Vincent Bernardoff
2015-06-27Initial importVincent Bernardoff