spark_2012.0.deb-11_i386.deb


Advertisement

Description

spark - SPARK programming language toolset

Property Value
Distribution Ubuntu 16.04 LTS (Xenial Xerus)
Repository Ubuntu Universe i386
Package name spark
Package version 2012.0.deb
Package release 11
Package architecture i386
Package type deb
Installed size 9.10 KB
Download size 1.98 MB
Official Mirror archive.ubuntu.com
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.

Alternatives

Package Version Architecture Repository
spark_2012.0.deb-11_amd64.deb 2012.0.deb amd64 Ubuntu Universe
spark - - -

Requires

Name Value
libc6 >= 2.15
libgcc1 >= 1:4.2
libgmp10 >= 2:5.0.1+dfsg-7~
libgnat-4.9 >= 4.9.3-3ubuntu2
libstdc++6 >= 5.2
swi-prolog-nox -
swi-prolog-vm-3 -

Download

Type URL
Binary Package spark_2012.0.deb-11_i386.deb
Source Package spark

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install spark deb package:
    # sudo apt-get install spark

Files

Path
/usr/bin/checker
/usr/bin/pogs
/usr/bin/spadesimp
/usr/bin/spark
/usr/bin/sparkclean
/usr/bin/sparkformat
/usr/bin/sparkmake
/usr/bin/sparksimp
/usr/bin/vct
/usr/bin/victor
/usr/bin/wrap_utility
/usr/bin/zombiescope
/usr/lib/spark/confgen.adb
/usr/lib/spark/errors.htm
/usr/lib/spark/spark_io.adb
/usr/lib/spark/spark_io.ads
/usr/lib/spark/spark_io_05.adb
/usr/lib/spark/spark_io_05.ads
/usr/lib/spark/sparkreport.xsd
/usr/lib/spark/current/ada-characters-handling.shs
/usr/lib/spark/current/ada.idx
/usr/lib/spark/current/all.wrn
/usr/lib/spark/current/current.sum
/usr/lib/spark/current/gnat.cfg
/usr/lib/spark/current/interfaces-c.shs
/usr/lib/spark/current/interfaces.idx
/usr/lib/spark/current/interfaces.shs
/usr/lib/spark/current/spark-ada-command_line-unbounded_string.adb
/usr/lib/spark/current/spark-ada-command_line-unbounded_string.ads
/usr/lib/spark/current/spark-ada-command_line.adb
/usr/lib/spark/current/spark-ada-command_line.ads
/usr/lib/spark/current/spark-ada-containers.ads
/usr/lib/spark/current/spark-ada-strings-maps-not_spark.adb
/usr/lib/spark/current/spark-ada-strings-maps-not_spark.ads
/usr/lib/spark/current/spark-ada-strings-maps.adb
/usr/lib/spark/current/spark-ada-strings-maps.ads
/usr/lib/spark/current/spark-ada-strings-not_spark.adb
/usr/lib/spark/current/spark-ada-strings-not_spark.ads
/usr/lib/spark/current/spark-ada-strings-unbounded-not_spark.adb
/usr/lib/spark/current/spark-ada-strings-unbounded-not_spark.ads
/usr/lib/spark/current/spark-ada-strings-unbounded.adb
/usr/lib/spark/current/spark-ada-strings-unbounded.ads
/usr/lib/spark/current/spark-ada-strings.ads
/usr/lib/spark/current/spark-ada-text_io-not_spark.adb
/usr/lib/spark/current/spark-ada-text_io-not_spark.ads
/usr/lib/spark/current/spark-ada-text_io-unbounded_string.adb
/usr/lib/spark/current/spark-ada-text_io-unbounded_string.ads
/usr/lib/spark/current/spark-ada-text_io.adb
/usr/lib/spark/current/spark-ada-text_io.ads
/usr/lib/spark/current/spark-ada.ads
/usr/lib/spark/current/spark-crypto-debug.adb
/usr/lib/spark/current/spark-crypto-debug.ads
/usr/lib/spark/current/spark-crypto-hash-skein.adb
/usr/lib/spark/current/spark-crypto-hash-skein.ads
/usr/lib/spark/current/spark-crypto-hash.ads
/usr/lib/spark/current/spark-crypto.ads
/usr/lib/spark/current/spark-unsigned.adb
/usr/lib/spark/current/spark-unsigned.ads
/usr/lib/spark/current/spark-unsigned.shs
/usr/lib/spark/current/spark.ads
/usr/lib/spark/current/spark.idx
/usr/lib/spark/current/spark.smf
/usr/lib/spark/current/spark.sw
/usr/lib/spark/current/sparklib.idx
/usr/share/doc/spark/changelog.Debian.gz
/usr/share/doc/spark/copyright
/usr/share/lintian/overrides/spark
/usr/share/man/man1/checker.1.gz
/usr/share/man/man1/pogs.1.gz
/usr/share/man/man1/spadesimp.1.gz
/usr/share/man/man1/spark.1.gz
/usr/share/man/man1/sparkformat.1.gz
/usr/share/man/man1/sparkmake.1.gz
/usr/share/man/man1/sparksimp.1.gz
/usr/share/man/man1/victor.1.gz
/usr/share/man/man1/zombiescope.1.gz
/usr/share/spark/divmod.rul
/usr/share/spark/prelude.fdl
/usr/share/spark/prelude.rul
/usr/share/spark/smt_prelude.mlw
/usr/share/spark/checker/helptext/case.chl
/usr/share/spark/checker/helptext/consult.chl
/usr/share/spark/checker/helptext/declare.chl
/usr/share/spark/checker/helptext/deduce.chl
/usr/share/spark/checker/helptext/delete.chl
/usr/share/spark/checker/helptext/done.chl
/usr/share/spark/checker/helptext/execute.chl
/usr/share/spark/checker/helptext/exit.chl
/usr/share/spark/checker/helptext/forget.chl
/usr/share/spark/checker/helptext/forwardch.chl
/usr/share/spark/checker/helptext/help.chl
/usr/share/spark/checker/helptext/infer.chl
/usr/share/spark/checker/helptext/instantia.chl
/usr/share/spark/checker/helptext/list.chl
/usr/share/spark/checker/helptext/newvc.chl
/usr/share/spark/checker/helptext/printvc.chl
/usr/share/spark/checker/helptext/prove.chl
/usr/share/spark/checker/helptext/quit.chl
/usr/share/spark/checker/helptext/remember.chl
/usr/share/spark/checker/helptext/replace.chl
/usr/share/spark/checker/helptext/rules.chl
/usr/share/spark/checker/helptext/rxarith.chl
/usr/share/spark/checker/helptext/rxarray.chl
/usr/share/spark/checker/helptext/rxenum.chl
/usr/share/spark/checker/helptext/rxfdlfunc.chl
/usr/share/spark/checker/helptext/rxgenineq.chl
/usr/share/spark/checker/helptext/rxinequal.chl
/usr/share/spark/checker/helptext/rxlogic.chl
/usr/share/spark/checker/helptext/rxmodular.chl
/usr/share/spark/checker/helptext/rxquantif.chl
/usr/share/spark/checker/helptext/rxrecord.chl
/usr/share/spark/checker/helptext/rxseq.chl
/usr/share/spark/checker/helptext/rxsets.chl
/usr/share/spark/checker/helptext/rxspecial.chl
/usr/share/spark/checker/helptext/save.chl
/usr/share/spark/checker/helptext/set.chl
/usr/share/spark/checker/helptext/show.chl
/usr/share/spark/checker/helptext/simplify.chl
/usr/share/spark/checker/helptext/standard.chl
/usr/share/spark/checker/helptext/status.chl
/usr/share/spark/checker/helptext/traverse.chl
/usr/share/spark/checker/helptext/undelete.chl
/usr/share/spark/checker/helptext/unwrap.chl
/usr/share/spark/checker/rules/ARITH.RUL
/usr/share/spark/checker/rules/ARRAY.RUL
/usr/share/spark/checker/rules/BITWISE.RUL
/usr/share/spark/checker/rules/ENUM.RUL
/usr/share/spark/checker/rules/ENUMERATION.RUL
/usr/share/spark/checker/rules/FDLFUNCS.RUL
/usr/share/spark/checker/rules/GENINEQS.RUL
/usr/share/spark/checker/rules/INTINEQS.RUL
/usr/share/spark/checker/rules/LOGIC.RUL
/usr/share/spark/checker/rules/MODULAR.RUL
/usr/share/spark/checker/rules/NUMINEQS.RUL
/usr/share/spark/checker/rules/QUANTIF.RUL
/usr/share/spark/checker/rules/RECORD.RUL
/usr/share/spark/checker/rules/SEQ.RUL
/usr/share/spark/checker/rules/SETS.RUL
/usr/share/spark/checker/rules/SPECIAL.RUL
/usr/share/spark/checker/rules/checker.ini

Changelog

2015-12-27 - Євгеній Мещеряков <eugen@debian.org>
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
2015-05-28 - Євгеній Мещеряков <eugen@debian.org>
spark (2012.0.deb-10) unstable; urgency=medium
* Use canonical URIs in Vcs-* fields
* Fix file path in copyright file
2014-05-03 - Євгеній Мещеряков <eugen@debian.org>
spark (2012.0.deb-9) unstable; urgency=medium
* Use hardening flags
* Disable gnat style checks, they are changed in the new version and cause
build errors
* Update patches:
- ada-link-env-flags.diff - fix linker flags for sparkclean 
- victor-use-env-opt-flags.diff - fix CPPFLAGS and LDFLAGS for victor 
2013-12-16 - Євгеній Мещеряков <eugen@debian.org>
spark (2012.0.deb-8) unstable; urgency=medium
* Make the package compatible with both bison 2 and 3 and stop requiring
bison 3.
2013-12-13 - Євгеній Мещеряков <eugen@debian.org>
spark (2012.0.deb-7) unstable; urgency=medium
* Fix required bison version (add 2:)
2013-12-12 - Євгеній Мещеряков <eugen@debian.org>
spark (2012.0.deb-6) unstable; urgency=medium
* New patch:
- vct-bison-3-fix.diff - fix building with bison 3
* Build-depend on bison >= 3
* Standards-Version 3.9.5 — no changes needed
2013-05-12 - Євгеній Мещеряков <eugen@debian.org>
spark (2012.0.deb-5) unstable; urgency=low
* Use swi_prolog dh seqence to declare dependencies on SWI Prolog VM.
2013-05-07 - Євгеній Мещеряков <eugen@debian.org>
spark (2012.0.deb-4) unstable; urgency=low
* Upload to unstable
2012-09-30 - Євгеній Мещеряков <eugen@debian.org>
spark (2012.0.deb-3) experimental; urgency=low
* Rename prolog module settings to spark_prolog_settings to avoid conflict
with newer versions of SWI prolog
* Remove public declaration of predefined predicate subset/2 to avoid
compilation problem with new SWI prolog
2012-07-08 - Євгеній Мещеряков <eugen@debian.org>
spark (2012.0.deb-2) experimental; urgency=low
* Override the architecture detection and handle all architectures as
"Linux". This should fix an FTBFS on kfreebsd-*.

See Also

Package Description
sparkleshare_1.5.0-1_all.deb distributed collaboration and sharing tool
sparse_0.5.0-1build1_i386.deb semantic parser of source files
spass_3.7-3_i386.deb An automated theorem prover for first-order logic with equality
spatialite-bin_4.3.0-2_i386.deb Geospatial extension for SQLite - tools
spatialite-gui_2.0.0~devel2-2_i386.deb user-friendly graphical user interface for SpatiaLite
spawn-fcgi_1.6.4-1_i386.deb FastCGI process spawner
spd_1.3.0-1ubuntu1_i386.deb Synchrotron image corrections and azimuthal integration
spe_0.8.4.h-3.2_all.deb Stani's Python Editor
speakup-doc_3.1.6.dfsg.1-3_all.deb Documentation for speakup kernel modules
speakup-tools_0.0~git20121016.1-2_all.deb Tools to customize speakup module
spectacle_0.25-1_all.deb RPM Spec file generator and management tool
specto_0.3.1-0ubuntu3_all.deb Unobtrusive update notification program
spectools_201108r1-7_i386.deb Utilities for using the Wi-Spy USB spectrum analyzer hardware
spectrwm_2.6.0-1ubuntu2_i386.deb dynamic tiling window manager
speech-dispatcher-doc-cs_0.8.3-1ubuntu3_all.deb Speech Dispatcher documentation in Czech
Advertisement
Advertisement