Packages
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Packages
Maintainers
USE flags
Architectures
About
dev-lang
/
spark
Software development for high-reliability applications
http://libre.adacore.com
Overview
Dependencies
QA report
Pull requests
0
Bugs
3
Security
0
Changelog
Latest Commits
Atom feed
Commits on 2024-11-26
dev-lang/spark: VariableOrderWrong
0a99de7
Alfredo Tupone
committed on 2024-11-26 19:28:37 UTC
dev-lang/spark/spark-2021.ebuild
Commits on 2022-02-06
dev-lang/spark: drop python deps
1ca8fc7
Alfredo Tupone
committed on 2022-02-06 17:41:34 UTC
dev-lang/spark/spark-2021.ebuild
Commits on 2021-12-26
dev-lang/spark: drop trailing full stop from DESCRIPTION
5f96ec8
Sam James
committed on 2021-12-26 00:18:03 UTC
dev-lang/spark/spark-2021.ebuild
Commits on 2021-09-15
dev-lang/spark: UnusedInherits
ff046aa
Alfredo Tupone
committed on 2021-09-15 19:42:49 UTC
dev-lang/spark/spark-2021.ebuild
Commits on 2021-09-11
**/metadata.xml: Replace http by https in DOCTYPE element
38b155f
Ulrich Müller
committed on 2021-09-11 13:22:48 UTC
dev-lang/spark/metadata.xml
Commits on 2021-06-22
dev-lang/spark: remove old version
96d7154
Alfredo Tupone
committed on 2021-06-22 07:07:00 UTC
dev-lang/spark/Manifest
dev-lang/spark/files/spark-2021-gentoo.patch
dev-lang/spark/files/spark-2017-gentoo.patch
dev-lang/spark/files/spark-2019-gentoo.patch
dev-lang/spark/spark-2018-r1.ebuild
dev-lang/spark/spark-2019.ebuild
Commits on 2021-06-21
dev-lang/spark: patch gnatls command
dd85fc7
Alfredo Tupone
committed on 2021-06-21 20:34:37 UTC
dev-lang/spark/files/spark-2021-gentoo.patch
dev-lang/spark/spark-2021.ebuild
dev-lang/spark: version bump to 2021
96a3ac9
Alfredo Tupone
committed on 2021-06-21 20:25:25 UTC
dev-lang/spark/spark-2021.ebuild
dev-lang/spark/Manifest
Commits on 2019-12-01
dev-lang/spark: version bump
ed28a08
Tupone Alfredo
committed on 2019-12-01 17:35:39 UTC
dev-lang/spark/files/spark-2019-gentoo.patch
dev-lang/spark/spark-2019.ebuild
dev-lang/spark/Manifest
Commits on 2019-11-09
dev-lang/spark: remove old version
056b0b3
Tupone Alfredo
committed on 2019-11-09 19:05:44 UTC
dev-lang/spark/spark-2018.ebuild
dev-lang/spark: stable
7f7eec6
Tupone Alfredo
committed on 2019-11-09 19:02:18 UTC
dev-lang/spark/spark-2018-r1.ebuild
Commits on 2019-11-08
dev-lang/spark: fix compile
22f1d8b
Tupone Alfredo
committed on 2019-11-08 19:00:28 UTC
dev-lang/spark/files/spark-2017-gentoo.patch
dev-lang/spark/spark-2018-r1.ebuild
dev-lang/spark/spark-2018.ebuild
Commits on 2019-11-07
dev-lang/spark: use the ada eclass
03b4a34
Tupone Alfredo
committed on 2019-11-07 18:15:23 UTC
dev-lang/spark/spark-2018-r1.ebuild
Commits on 2019-11-04
dev-lang/spark: remove old version
e8e6b26
Tupone Alfredo
committed on 2019-11-04 06:59:09 UTC
dev-lang/spark/Manifest
dev-lang/spark/spark-2017.ebuild
Commits on 2018-12-19
dev-lang/spark: Maintainer ada@gentoo.org
8b8705d
Tupone Alfredo
committed on 2018-12-19 07:03:59 UTC
dev-lang/spark/metadata.xml
Commits on 2018-12-16
dev-lang/spark: Stable
2776edd
Tupone Alfredo
committed on 2018-12-16 08:37:23 UTC
dev-lang/spark/spark-2017.ebuild
dev-lang/spark/spark-2018.ebuild
Commits on 2018-07-15
dev-lang/spark: Fix path for gnatls
363cc8e
Tupone Alfredo
committed on 2018-07-15 14:36:47 UTC
dev-lang/spark/spark-2018.ebuild
dev-lang/spark: Version bump to 2018
2280323
Tupone Alfredo
committed on 2018-07-15 08:21:33 UTC
dev-lang/spark/spark-2018.ebuild
dev-lang/spark/Manifest
Commits on 2018-06-26
dev-lang/spark: Fix build.
2a44c2c
Tupone Alfredo
committed on 2018-06-26 19:25:16 UTC
dev-lang/spark/spark-2017.ebuild
Commits on 2017-12-09
dev-lang/*: Update Manifest hashes
5abd430
Michał Górny
committed on 2017-12-09 17:19:32 UTC
dev-lang/spark/Manifest
Commits on 2017-11-06
dev-lang/spark: Re-allow zip in sci-mathematics/why3-for-spark
a4c2721
Tupone Alfredo
committed on 2017-11-06 21:10:52 UTC
dev-lang/spark/spark-2017.ebuild
Commits on 2017-11-05
dev-lang/spark: disable zip on why3
40e581e
Tupone Alfredo
committed on 2017-11-05 19:13:41 UTC
dev-lang/spark/spark-2017.ebuild
Commits on 2017-10-29
dev-lang/spark: Fix dev-ada/gnatcoll use depend
90fb97d
Tupone Alfredo
committed on 2017-10-29 16:39:05 UTC
dev-lang/spark/spark-2017.ebuild
Commits on 2017-10-21
dev-lang/spark: Add dev-lang/spark
f406928
Tupone Alfredo
committed on 2017-10-21 18:20:11 UTC
dev-lang/spark/Manifest
dev-lang/spark/files/spark-2017-gentoo.patch
dev-lang/spark/metadata.xml
dev-lang/spark/spark-2017.ebuild