summarylogtreecommitdiffstats
AgeCommit message (Expand)Author
2018-10-13Update .SRCINFOcrave
2018-10-13Require ulex-gitcrave
2018-07-27Add menhir dependencyrobinleander
2018-07-27Parallel buildrobinleander
2018-07-27Version v0.9.6.0robinleander
2018-07-27Update packagerobinleander