summarylogtreecommitdiffstats
path: root/.SRCINFO
AgeCommit message (Expand)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
2015-06-09Initial commitLeonard de Ruijter