全部搜尋項
stretch  ]
[ 原始碼: spark  ]

套件:spark(2012.0.deb-11 以及其他的)

spark 的相關連結

Screenshot

Debian 的資源:

下載原始碼套件 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.

標籤: 軟體開發: Ada 開發, 實做語言: Ada, 使用者介面: interface::commandline, role::program, 處理: 原始碼

其他與 spark 有關的套件

  • 依賴
  • 推薦
  • 建議
  • 增強

下載 spark

下載可用於所有硬體架構的
硬體架構 版本 套件大小 安裝後大小 檔案
arm64 2012.0.deb-11+b2 2,020。0 kB9,745。0 kB [檔案列表]