pkgsrc.se | The NetBSD package collection

./wip/spark2014, SPARK 2014 toolset

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]

Branch: CURRENT, Version: 13.0.0nb1, Package name: spark2014-13.0.0nb1, Maintainer: pkgsrc-users

SPARK 2014 toolset

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
and where safety and security are key requirements.

Master sites:

https://github.com/AdaCore/

Version history: (Expand)

(2024-05-31) Updated to version: spark2014-13.0.0nb1
(2024-05-21) Package added to pkgsrc.se, version spark2014-13.0.0 (created)