Package: spark
Architecture: i386
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: 9757
Depends: libc6 (>= 2.15), libgcc1 (>= 1:4.2), 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_i386.deb
Size: 2313980
MD5sum: 60bac8e32654783d3d7d698e9a963484
SHA1: ef7ad6f23ae2701ca137cdb13f6d8a8cd124c97d
SHA256: 15fac7848d87c888eb74cfa9eeff0ad08ae85dd5f6325293c87e7ed31e11e22b
Homepage: http://libre.adacore.com/libre/tools/spark-gpl-edition/
Description: SPARK programming language toolset
Description-md5: 0512d6610268f233b9345bda401dbf34