| Age | Commit message (Expand) | Author |
|---|---|---|
| 2016-06-08 | Added patch for 'docs-Makefile.in' to use DESTDIR. | Rod Kay |
| 2016-06-05 | Update to 2016 version. | Rod Kay |
| 2015-11-21 | Updated source URL. | Rod Kay |
| 2015-11-08 | Added gnatcoll back in, since it may require special build flags for GPS. | Rod Kay |
| 2015-11-08 | Removed built-in gnacoll and added new gnatcoll pkg as a dependency. | Rod Kay |
| 2015-08-01 | Updated SRCINFO and added docs Makefile.in patch. | Rod Kay |
| 2015-07-30 | Initial import. | charlie5 |