Package: spark Priority: optional Section: universe/devel Installed-Size: 9247 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Євгеній Мещеряков <eugen@debian.org> Architecture: amd64 Version: 2012.0.deb-11 Depends: libc6 (>= 2.15), libgcc1 (>= 1:3.0), libgmp10 (>= 2:5.0.1+dfsg-7~), libgnat-4.9 (>= 4.9.3-3ubuntu2), libstdc++6 (>= 5.2), swi-prolog-vm-3, swi-prolog-nox Suggests: gnat, alt-ergo Filename: pool/universe/s/spark/spark_2012.0.deb-11_amd64.deb Size: 2042822 MD5sum: 55b3190b42dc54aae62a1070aa29deb4 SHA1: 1c414cc6db9854172104ae7a57e1d77c8f9c1970 SHA256: 618eae82007b55122c8efa47b2570f8966d206a49786764c79544ad2be1a1dda 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