| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | dev-lang/spark: Maintainer ada@gentoo.org | Tupone Alfredo | 2018-12-19 |
| * | dev-lang/spark: Stable | Tupone Alfredo | 2018-12-16 |
| * | dev-lang/spark: Fix path for gnatls | Tupone Alfredo | 2018-07-15 |
| * | dev-lang/spark: Version bump to 2018 | Tupone Alfredo | 2018-07-15 |
| * | dev-lang/spark: Fix build. | Tupone Alfredo | 2018-06-26 |
| * | dev-lang/*: Update Manifest hashes | Michał Górny | 2017-12-09 |
| * | dev-lang/spark: Re-allow zip in sci-mathematics/why3-for-spark | Tupone Alfredo | 2017-11-06 |
| * | dev-lang/spark: disable zip on why3 | Tupone Alfredo | 2017-11-05 |
| * | dev-lang/spark: Fix dev-ada/gnatcoll use depend | Tupone Alfredo | 2017-10-29 |
| * | dev-lang/spark: Add dev-lang/spark | Tupone Alfredo | 2017-10-21 |
 |
index : gentoo/gentoo.git | |
| forked from gentoo/gentoo | kballou |
| summaryrefslogtreecommitdiff |