Age | Commit message (Expand) | Author |
---|---|---|
2018-07-15 | Add a dependency to gnatcoll-gmp | Pierre-Marie de Rodat |
2018-06-27 | Use the setup.py script to install the Python binding | 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 |