Package: spark Priority: optional Section: universe/devel Installed-Size: 7474 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Євгеній Мещеряков <eugen@debian.org> Architecture: amd64 Version: 2011.0.deb-5 Depends: libc6 (>= 2.4), libgcc1 (>= 1:4.1.1), libgmp10, libgnat-4.6 (>= 4.6.1-6ubuntu1), libstdc++6 (>= 4.4.0), swi-prolog-nox (>= 5.10.4~) Suggests: gnat, alt-ergo Filename: pool/universe/s/spark/spark_2011.0.deb-5_amd64.deb Size: 2759730 MD5sum: 7f1a76155d114ed58e807f15f1dfd5b7 SHA1: 2e27f30d9bfa945a0a5b5da5e96d3aa53087e540 SHA256: d5465ffa030918c2deec1766d99a47b7582ae788bb460094ff8be73418e4d60a 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