Age | Commit message (Collapse) | Author | |
---|---|---|---|
2021-01-31 | Use pkgname without git suffix | Antonin Décimo | |
2020-12-07 | Build in a clean environment | Antonin Décimo | |
2020-12-07 | Remove or add -git suffix accordingly | Antonin Décimo | |
2020-12-07 | Update to Opam 2.1.0.beta2 | Antonin Décimo | |
2015-06-27 | Initial import | Vincent Bernardoff | |