| Commit message (Expand) | Author | Age | Files | Lines |
* | dev-lang/spark: version bump | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Tupone Alfredo | 2019-12-01 | 3 | -0/+92 |
* | dev-lang/spark: remove old version | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Tupone Alfredo | 2019-11-09 | 1 | -62/+0 |
* | dev-lang/spark: stable | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Tupone Alfredo | 2019-11-09 | 1 | -1/+1 |
* | dev-lang/spark: fix compile | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Tupone Alfredo | 2019-11-08 | 3 | -5/+18 |
* | dev-lang/spark: use the ada eclass | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Tupone Alfredo | 2019-11-07 | 1 | -0/+61 |
* | dev-lang/spark: remove old version | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Tupone Alfredo | 2019-11-04 | 2 | -63/+0 |
* | dev-lang/spark: Maintainer ada@gentoo.org | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Tupone Alfredo | 2018-12-19 | 1 | -3/+2 |
* | dev-lang/spark: Stable | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Tupone Alfredo | 2018-12-16 | 2 | -4/+4 |
* | dev-lang/spark: Fix path for gnatls | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Tupone Alfredo | 2018-07-15 | 1 | -0/+1 |
* | dev-lang/spark: Version bump to 2018 | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Tupone Alfredo | 2018-07-15 | 2 | -0/+63 |
* | dev-lang/spark: Fix build. | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Tupone Alfredo | 2018-06-26 | 1 | -4/+4 |
* | dev-lang/*: Update Manifest hashes | ![](//www.gravatar.com/avatar/ff5429ef741b434eb2011692832f810e?s=13&d=retro) Michał Górny | 2017-12-09 | 1 | -2/+2 |
* | dev-lang/spark: Re-allow zip in sci-mathematics/why3-for-spark | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Tupone Alfredo | 2017-11-06 | 1 | -1/+1 |
* | dev-lang/spark: disable zip on why3 | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Tupone Alfredo | 2017-11-05 | 1 | -1/+1 |
* | dev-lang/spark: Fix dev-ada/gnatcoll use depend | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Tupone Alfredo | 2017-10-29 | 1 | -0/+1 |
* | dev-lang/spark: Add dev-lang/spark | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Tupone Alfredo | 2017-10-21 | 4 | -0/+88 |