Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 597318 - dev-lang/spark2014 - a formally defined computer programming language based on the Ada programming language
Summary: dev-lang/spark2014 - a formally defined computer programming language based o...
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: New packages (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Tupone Alfredo
URL: http://www.spark-2014.org/
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2016-10-16 20:54 UTC by Anton Kochkov
Modified: 2017-10-21 18:21 UTC (History)
0 users

See Also:
Package list:
Runtime testing required: ---

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Anton Kochkov 2016-10-16 20:54:00 UTC 
SPARK is a formally defined computer programming language based on the Ada programming language, intended for the development of high integrity software used in systems where predictable and highly reliable operation is essential. It facilitates the development of applications that demand safety, security, or business integrity.

http://www.spark-2014.org/

https://github.com/AdaCore/spark2014
Comment 1 Tupone Alfredo gentoo-dev 2017-10-21 18:21:22 UTC 
Added in the tree. Use it.