すべてのオプション
stretch  ]
[ ソース: spark  ]

パッケージ: spark (2012.0.deb-11 など)

spark に関するリンク

Screenshot

Debian の資源:

spark ソースパッケージをダウンロード:

メンテナ:

外部の資源:

類似のパッケージ:

SPARK プログラミング言語ツールセット

SPARK は、Ada プログラミング言語を基に形式的に定義されたコンピュータ・ プログラミング言語であり、安全であることと、アプリケーションとシステムで 使われる高整合性ソフトウェアの開発をサポートすることを目的としています。 予測可能で信頼性の高い操作は、安全のためまたはビジネスの整合性のために不 可欠です。

このパッケージには、プログラムが SPARK ルールに準拠していることをチェッ クするために必要なツールと、それらのプログラムで実行時例外の自由度を表示 するためのツールが含まれています。コンパイルするために SPARK プログラム は GNAT のような任意の標準準拠 Ada コンパイラを使用します。

タグ: ソフトウェア開発: Ada での開発, 実装言語: Ada, ユーザインタフェース: interface::commandline, role::program, 取り扱い対象: ソースコード

その他の spark 関連パッケージ

  • 依存
  • 推奨
  • 提案
  • enhances

spark のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ バージョン パッケージサイズ インストールサイズ ファイル
amd64 2012.0.deb-11+b2 2,344.0 kB9,728.0 kB [ファイル一覧]
arm64 2012.0.deb-11+b2 2,020.0 kB9,745.0 kB [ファイル一覧]
armel 2012.0.deb-11+b2 2,055.5 kB9,568.0 kB [ファイル一覧]
armhf 2012.0.deb-11+b2 2,115.2 kB8,054.0 kB [ファイル一覧]
i386 2012.0.deb-11+b2 2,445.8 kB10,482.0 kB [ファイル一覧]
mips 2012.0.deb-11+b2 2,265.9 kB11,890.0 kB [ファイル一覧]
mips64el 2012.0.deb-11+b2 2,280.9 kB12,537.0 kB [ファイル一覧]
mipsel 2012.0.deb-11+b2 2,304.7 kB11,890.0 kB [ファイル一覧]
ppc64el 2012.0.deb-11+b2 2,355.5 kB11,884.0 kB [ファイル一覧]
s390x 2012.0.deb-11+b2 2,187.2 kB10,929.0 kB [ファイル一覧]