summarylogtreecommitdiffstats
AgeCommit message (Expand)Author
2021-01-31Use pkgname without git suffixAntonin Décimo
2020-12-07Build in a clean environmentAntonin Décimo
2020-12-07Remove or add -git suffix accordinglyAntonin Décimo
2020-12-07Update to Opam 2.1.0.beta2Antonin Décimo
2015-06-27Initial importVincent Bernardoff