| Age | Commit message (Expand) | Author |
|---|---|---|
| 2021-01-24 | Update for recent versions | Pierre-Marie de Rodat |
| 2020-06-13 | Update after the switch to Python3 | Pierre-Marie de Rodat |
| 2020-03-11 | Pass --build-mode at install | Pierre-Marie de Rodat |
| 2019-06-29 | Depend on langkit-git | Pierre-Marie de Rodat |
| 2019-06-29 | Update build procedure to use --library-types | Pierre-Marie de Rodat |
| 2018-07-15 | Add a dependency to gnatcoll-gmp | Pierre-Marie de Rodat |
| 2018-06-27 | Use gprconfig to make sure we don't use Clang | Pierre-Marie de Rodat |
| 2018-03-18 | Initial commit | Pierre-Marie de Rodat |