Package: spark
Version: 2012.0.deb-8
Installed-Size: 20084
Maintainer: Євгеній Мещеряков <eugen@debian.org>
Architecture: ia64
Depends: libc6.1 (>= 2.2), libgcc1 (>= 1:4.1.1), libgmp10, libgnat-4.6 (>= 4.6.4-1), libstdc++6 (>= 4.4.0), libunwind7, swi-prolog-vm-2, swi-prolog-nox
Suggests: gnat, alt-ergo
Description: SPARK programming language toolset
Homepage: http://libre.adacore.com/libre/tools/spark-gpl-edition/
Description-md5: 0512d6610268f233b9345bda401dbf34
Tag: devel::lang:ada, implemented-in::ada, interface::commandline,
 role::program, works-with::software:source
Section: devel
Priority: optional
Filename: pool/main/s/spark/spark_2012.0.deb-8_ia64.deb
Size: 3071806
MD5sum: 7570f00bcbf85a0ff5d2216ed39fdc17
SHA1: 50bc4989a513a31884cc0fd8b87f7d587a60fe4b
SHA256: 2f3a03ac220f3e12352dafcaa0c79cff49ad71460330a8aa9e0558df29d70927