Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Return ports maintained by John Marino to the pool, he is no longer interested. | rene | 2017-04-22 | 1 | -1/+1 |
* | Return the ports mistakenly reset to ports@ in r433856 to John Marino. | rene | 2017-02-16 | 1 | -1/+1 |
* | Return ports maintained by John Marino to the pool, see r433827 for details | rene | 2017-02-11 | 1 | -1/+1 |
* | gnatcross-aarch64: Fix configuration | marino | 2017-02-04 | 1 | -0/+2 |
* | Add gnatcross-aarch64, a slave port of gnatdroid (C/Ada cross-compiler) | marino | 2017-02-03 | 2 | -0/+28 |