Ubuntu
spark package

spark 2012.0.deb-11 source package in Ubuntu

Changelog

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

  * New patch:
    - victor-quote-cppflags.diff - quote CPPFLAGS and LDFLAGS. Fixes FTBFS
      (closes: #809074)
  * Standards-Version 3.9.6 - no changes required

 -- Євгеній Мещеряков <email address hidden>  Sun, 27 Dec 2015 23:10:24 +0100

Upload details

Uploaded by:
Eugeniy Meshcheryakov
Uploaded to:
Sid
Original maintainer:
Eugeniy Meshcheryakov
Architectures:
any
Section:
devel
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Xenial release universe devel

Downloads

File Size SHA-256 Checksum
spark_2012.0.deb-11.dsc 1.9 KiB 2f84b935d6a09717d1493aa5d8003f60a1eb7e81c4d423566b5b77bf0e2dccf5
spark_2012.0.deb.orig.tar.gz 2.9 MiB a2f83b5de206870cc1001d8928071019acc53111f385a9188f820fe48c00050b
spark_2012.0.deb-11.debian.tar.xz 19.4 KiB 955b6ccb6398109c6d63c2b52ea063ecbf88c0523406be22262e74697d0f5475

No changes file available.

Binary packages built by this source

spark: No summary available for spark in ubuntu yakkety.

No description available for spark in ubuntu yakkety.

spark-dbgsym: debug symbols for package spark

 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.