[ stretch ]
Pakiet źródłowy: spark (2012.0.deb-11)
Odnośniki dla spark
Zasoby systemu Debian:
- Raporty o błędach
- Developer Information
- Dziennik zmian w systemie Debian
- Informacje nt. praw autorskich
- Repozytorium kodu źródłowego Debiana (Git)
- Śledzenie łatek systemu Debian
Opiekun:
Zasoby zewnętrzne:
- Strona internetowa [libre.adacore.com]
Z tego pakietu źródłowego zbudowano następujące pakiety binarne:
- spark
- SPARK programming language toolset
Inne pakiety związane z spark
|
|
-
- adep: debhelper (>= 9)
- Programy pomocnicze do debian/rules
-
- adep: gnat
- GNU Ada compiler
-
- adep: swi-prolog-nox (>= 6.2.6-2~)
- ISO/Edinburgh-style Prolog interpreter (without X support)
-
- adep: libgmp-dev (>= 2:5.0.1+dfsg-7~)
- Multiprecision arithmetic library developers tools
-
- adep: bison
- YACC-compatible parser generator
-
- adep: flex
- Szybki generator analizatorów leksykalnych
Download spark
| Plik | Rozmiar (w KiB) | Suma kontrolna MD5 |
|---|---|---|
| spark_2012.0.deb-11.dsc | 1,9 KiB | d7232cafd78d1577a792f4aa0a3eb7e4 |
| spark_2012.0.deb.orig.tar.gz | 2 977,3 KiB | 102503cda91d540080787b47df44c55e |
| spark_2012.0.deb-11.debian.tar.xz | 19,4 KiB | 4c63fb9000b1151bba9ea12a37b470c4 |
- Repozytorium kodu źródłowego Debiana (VCS: Git)
- git://anonscm.debian.org/collab-maint/spark.git
- Repozytorium kodu źródłowego Debiana (do przeglądania)
- https://anonscm.debian.org/cgit/collab-maint/spark.git