summarylogtreecommitdiffstats
path: root/PKGBUILD
AgeCommit message (Collapse)Author
2017-10-22Add clingo and python2 to makedependsEric Bailey
2017-10-15Fix cppo binary not being installed with rest of filesEric Bailey
2017-10-07Bump to version 1.6Leonard de Ruijter
2016-11-04Update to 1.4.0, added ocamlbuild to makedependsLeonard de Ruijter
2016-04-30Update to version 1.3.2Leonard de Ruijter
2016-03-29Update to 1.3.1 from gitLeonard de Ruijter
2016-01-13Change from md5sums to sha256sumsLeonard de Ruijter
2015-06-23Update maintainer contact infoLeonard de Ruijter
2015-06-09Initial commitLeonard de Ruijter