| Age | Commit message (Expand) | Author |
|---|---|---|
| 2019-11-04 | dev-lang/spark: remove old version | Tupone Alfredo |
| 2018-12-16 | dev-lang/spark: Stable | Tupone Alfredo |
| 2018-06-26 | dev-lang/spark: Fix build. | Tupone Alfredo |
| 2017-11-06 | dev-lang/spark: Re-allow zip in sci-mathematics/why3-for-spark | Tupone Alfredo |
| 2017-11-05 | dev-lang/spark: disable zip on why3 | Tupone Alfredo |
| 2017-10-29 | dev-lang/spark: Fix dev-ada/gnatcoll use depend | Tupone Alfredo |
| 2017-10-21 | dev-lang/spark: Add dev-lang/spark | Tupone Alfredo |
