Ubuntu
spark package

spark 2012.0.deb-11build1 source package in Ubuntu

Changelog

spark (2012.0.deb-11build1) yakkety; urgency=medium

  * No-change rebuild against libgnat-6.

 -- Martin Pitt <email address hidden>  Mon, 10 Oct 2016 10:47:07 +0200

Upload details

Uploaded by:
Martin Pitt
Uploaded to:
Yakkety
Original maintainer:
Eugeniy Meshcheryakov
Architectures:
any
Section:
devel
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Bionic release universe devel

Downloads

File Size SHA-256 Checksum
spark_2012.0.deb.orig.tar.gz 2.9 MiB a2f83b5de206870cc1001d8928071019acc53111f385a9188f820fe48c00050b
spark_2012.0.deb-11build1.debian.tar.xz 19.5 KiB 4ee32713079b2f741888b14bf2b4f9d423b08ced15906e3d12f0e66852ad9f20
spark_2012.0.deb-11build1.dsc 1.9 KiB 88db96c7c669c13203b18b19f32991d95f6f7f9b6ef9c3c2cafbe76f8af9f50c

View changes file

Binary packages built by this source

spark: SPARK programming language toolset

 SPARK is a formally-defined computer programming language based on the
 Ada programming language, intended to be secure and to support the
 development of high integrity software used in applications and systems
 where predictable and highly reliable operation is essential either for
 reasons of safety or for business integrity.
 .
 This package contains the tools necessary for checking if programs adhere
 to the SPARK rules and the tools to show freedom of runtime exceptions in
 those programs. To compile SPARK programs use any standards-compliant Ada
 compiler, such as GNAT.

spark-dbgsym: No summary available for spark-dbgsym in ubuntu artful.

No description available for spark-dbgsym in ubuntu artful.