Package: spark Priority: optional Section: universe/devel Installed-Size: 8795 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Євгеній Мещеряков <eugen@debian.org> Architecture: amd64 Version: 2012.0.deb-8 Depends: libc6 (>= 2.15), libgcc1 (>= 1:4.1.1), libgmp10, libgnat-4.6 (>= 4.6.4-0ubuntu2), libstdc++6 (>= 4.4.0), swi-prolog-vm-2, swi-prolog-nox Suggests: gnat, alt-ergo Filename: pool/universe/s/spark/spark_2012.0.deb-8_amd64.deb Size: 1961126 MD5sum: 45385dad601c07fdd2c3a1e75388023a SHA1: d074ab5280a0c4b0984a9a95eabb54901d85882b SHA256: 481c322677eabbf2152141a9f4dbe4064208a33c8fbe10290fc908446522660b Description: SPARK programming language toolset Homepage: http://libre.adacore.com/libre/tools/spark-gpl-edition/ Description-md5: 0512d6610268f233b9345bda401dbf34 Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu