Summary
SPARK is a software development technology specifically designed for engineering high-reliability applications. It consists of a programming language, a verification toolset and a design method which, taken together, ensure that ultra-low defect software can be deployed in application domains where high-reliability must be assured, for example where safety and security are key requirements.
Versions
v2024.01.11-r2 :: 0 :: gentoo
- Modified
- License
- GPL-3
- Keywords
- ~amd64 ~arm64
- USE flags
- doc
USE flags
General
- doc
- Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally
ada_target
- gcc_12
- Compile with sys-devel/gcc:12
- gcc_13
- Compile with sys-devel/gcc:13
- gcc_14
- Compile with sys-devel/gcc:14
- gcc_15
- Compile with sys-devel/gcc:15
Dependencies
dev-ada / gnatcoll-core : GNAT Component Collection Core packages
dev-ada / gpr : LibGPR2 - Parser for GPR Project files
dev-ada / gprbuild : Multi-Language Management
sci-mathematics / alt-ergo : Automatic theorem prover
sci-mathematics / why3-for-spark : SPARK 2014 repository for the Why3 verification platform
Runtime Dependencies
dev-ada / gnatcoll-core : GNAT Component Collection Core packages
dev-ada / gpr : LibGPR2 - Parser for GPR Project files
sci-mathematics / alt-ergo : Automatic theorem prover
sci-mathematics / why3-for-spark : SPARK 2014 repository for the Why3 verification platform
Bugs
- 951006
- dev-lang/spark: please port to pypy3.11
Change logs
- Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
dev-lang/spark: drop 2021
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
dev-lang/spark: build Production - add arm64
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
dev-lang/spark: fix python deps
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Alfredo Tupone · gentoo
dev-lang/spark: add 2024.01.11
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
dev-lang/spark: VariableOrderWrong
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
dev-lang/spark: drop python deps
Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-lang/spark: drop trailing full stop from DESCRIPTION
Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
dev-lang/spark: UnusedInherits
Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
dev-lang/spark: remove old version
Package-Manager: Portage-3.0.18, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
dev-lang/spark: patch gnatls command
Package-Manager: Portage-3.0.18, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Alfredo Tupone · gentoo
dev-lang/spark: version bump to 2021
Package-Manager: Portage-3.0.18, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Tupone Alfredo · gentoo
dev-lang/spark: version bump
Package-Manager: Portage-2.3.76, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Tupone Alfredo · gentoo
dev-lang/spark: remove old version
Package-Manager: Portage-2.3.76, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Tupone Alfredo · gentoo
dev-lang/spark: stable
Package-Manager: Portage-2.3.76, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Tupone Alfredo · gentoo
dev-lang/spark: fix compile
Package-Manager: Portage-2.3.76, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Tupone Alfredo · gentoo
dev-lang/spark: use the ada eclass
Package-Manager: Portage-2.3.76, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Tupone Alfredo · gentoo
dev-lang/spark: remove old version
Package-Manager: Portage-2.3.76, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Tupone Alfredo · gentoo
dev-lang/spark: Stable
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11 - Repository mirror & CI · gentoo
Merge updates from master - Tupone Alfredo · gentoo
dev-lang/spark: Fix path for gnatls
Package-Manager: Portage-2.3.40, Repoman-2.3.9 - Repository mirror & CI · gentoo
Merge updates from master - Tupone Alfredo · gentoo
dev-lang/spark: Version bump to 2018
Package-Manager: Portage-2.3.40, Repoman-2.3.9 - Repository mirror & CI · gentoo
Merge updates from master - Tupone Alfredo · gentoo
dev-lang/spark: Fix build.
Closes: https://bugs.gentoo.org/658554 Package-Manager: Portage-2.3.40, Repoman-2.3.9 - Tupone Alfredo · gentoo
dev-lang/spark: Re-allow zip in sci-mathematics/why3-for-spark
Package-Manager: Portage-2.3.8, Repoman-2.3.3 - Tupone Alfredo · gentoo
dev-lang/spark: disable zip on why3
Package-Manager: Portage-2.3.8, Repoman-2.3.3 - Tupone Alfredo · gentoo
dev-lang/spark: Fix dev-ada/gnatcoll use depend
Package-Manager: Portage-2.3.8, Repoman-2.3.3 - Tupone Alfredo · gentoo
dev-lang/spark: Add dev-lang/spark
Package-Manager: Portage-2.3.8, Repoman-2.3.3