dev-lang / spark

Software development for high-reliability applications.

Official package sites : http://libre.adacore.com ·

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.

v2018 :: 0 :: gentoo

Modified
License
GPL-3
Keywords
amd64

v2017 :: 0 :: gentoo

Modified
License
GPL-3
Keywords
amd64

dev-ada / gnatcoll : GNAT Component Collection

dev-ada / gnatcoll-core : GNAT Component Collection Core packages

dev-ada / gprbuild : Multi-Language Management

dev-lang / gnat-gpl : GNAT Ada Compiler - GPL version

sci-mathematics / alt-ergo : Automatic theorem prover

sci-mathematics / why3-for-spark : Platform for deductive program verification

dev-ada / gnatcoll : GNAT Component Collection

dev-ada / gnatcoll-core : GNAT Component Collection Core packages

dev-lang / gnat-gpl : GNAT Ada Compiler - GPL version

sci-mathematics / alt-ergo : Automatic theorem prover

sci-mathematics / why3-for-spark : Platform for deductive program verification

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