I suggest to rename our package to spark-asf. Cos
On Mon, Sep 23, 2013 at 09:57AM, Roman Shaposhnik wrote: > Hi! > > While testing Spark as part of the Bigtop I've come > across the following conflict on Debian-based systems: > > $ apt-cache show spark > Package: spark > Priority: optional > Section: universe/devel > Description-en: SPARK programming language toolset > SPARK is a formally-defined computer programming language based on the > Ada programming language, intended to be secure and to support the > development of high integrity software used in applications and systems > where predictable and highly reliable operation is essential either for > reasons of safety or for business integrity. > . > This package contains the tools necessary for checking if programs adhere > to the SPARK rules and the tools to show freedom of runtime exceptions in > those programs. To compile SPARK programs use any standards-compliant Ada > compiler, such as GNAT. > Homepage: http://libre.adacore.com/libre/tools/spark-gpl-edition/ > > > This has an obvious ramifications for Bigtop packaging, but > it may also have ramifications for PODLINGNAMESEARCH > for Apache Spark (incubating). > > Speaking of which -- has anybody else started PODLINGNAMESEARCH > already? > > Thanks, > Roman.
