summarylogtreecommitdiffstats
AgeCommit message (Expand)Author
2024-09-06bump version to 1.7.0Hans-Nikolai Viessmann
2022-05-21fix for dune 3.2.0 --libdir flag behaviourHans-Nikolai Viessmann
2022-05-20bump to version 1.6.9Hans-Nikolai Viessmann
2021-09-18bump version to 1.6.8Hans-Nikolai Viessmann
2020-12-21bump version to 1.6.7Hans-Nikolai Viessmann
2020-03-10fix PKGBUILD, add changelogHans-Nikolai Viessmann
2019-09-04cppo 1.6.6-1: Update to new versionJakob Gahde
2018-01-25update to 1.6.1Eric Bailey
2017-11-17fix defining URL in an array (not necessary)Eric Bailey
2017-11-16update upstream URLEric Bailey
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