Package: spark Architecture: amd64 Version: 2012.0.deb-11build1 Priority: optional Section: universe/devel Origin: Ubuntu Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Євгеній Мещеряков <eugen@debian.org> Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 9821 Depends: libc6 (>= 2.15), libgcc1 (>= 1:3.0), libgmp10 (>= 2:5.0.1+dfsg-7~), libgnat-6 (>= 6.2.0-5ubuntu12), libstdc++6 (>= 5.2), swi-prolog-vm-3, swi-prolog-nox Suggests: gnat, alt-ergo Filename: pool/universe/s/spark/spark_2012.0.deb-11build1_amd64.deb Size: 2417170 MD5sum: bcedf9d3fdd3f5cdd33a317d9bb49685 SHA1: 1fd8a5fe2d287570abe483e11ba3d99853988de0 SHA256: 021806b7017e8bbada1b4dd32706fd9ccbb8fe7d4cf7856c069968bc69ed77b4 Homepage: http://libre.adacore.com/libre/tools/spark-gpl-edition/ Description: SPARK programming language toolset Description-md5: 0512d6610268f233b9345bda401dbf34