DEBFIND Suche nach Debian-Paketen

Suchplatform für Softwarepakete und Archive Debian-basierter Linux-Distributionen

beta ! Diese website wird noch weiterentwickelt.

Liste aller Kategorien/Sektionen | Suchmaske | Haftungsausschluß

Paketbeschreibung


Paketnamespark
BeschreibungSPARK programming language toolset
Archiv/RepositoryOffizielles Debian Archiv wheezy (main)
Version2011.0.deb-5
Sektiondevel
Priorittoptional
Installierte Größe7299 Byte
Hängt ab vonlibc6 (>= 2.3.6-6~), libgcc1 (>= 1:4.1.1), libgmp10, libgnat-4.6 (>= 4.6.1-6), libstdc++6 (>= 4.4.0)
Empfohlene Pakete
PaketbetreuerЄвгеній Мещеряков
Quelle
Paketgröße2606898 Byte
Prüfsumme MD5dc36a41bcde88908af39b63460b2b37a
Prüfsumme SHA1e8ff019b86825c80d1a44f6d116fa9d26d2e281d
Prüfsumme SHA2566bbab26e1acc912c380f0fd761bb48ee65b8acd0950551f4cb98b0b6acd38e61
Link zum Herunterladenspark_2011.0.deb-5_i386.deb
Ausführliche Beschreibungrole::program, works-with::software:source


Impressum
Linux is a registered trademark of Linus Torvalds