| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | dev-lang/spark: Fix path for gnatls |   Tupone Alfredo | 2018-07-15 | 1 | -0/+1 |
| * | dev-lang/spark: Version bump to 2018 | Tupone Alfredo | 2018-07-15 | 2 | -0/+63 |
| * | dev-lang/spark: Fix build. | Tupone Alfredo | 2018-06-26 | 1 | -4/+4 |
| * | dev-lang/*: Update Manifest hashes |   Michał Górny | 2017-12-09 | 1 | -2/+2 |
| * | dev-lang/spark: Re-allow zip in sci-mathematics/why3-for-spark | Tupone Alfredo | 2017-11-06 | 1 | -1/+1 |
| * | dev-lang/spark: disable zip on why3 | Tupone Alfredo | 2017-11-05 | 1 | -1/+1 |
| * | dev-lang/spark: Fix dev-ada/gnatcoll use depend | Tupone Alfredo | 2017-10-29 | 1 | -0/+1 |
| * | dev-lang/spark: Add dev-lang/spark | Tupone Alfredo | 2017-10-21 | 4 | -0/+88 |
GitWeb