Re: spark package uploaded to the archive

[Florian Schanda <florian.schanda@altran-praxis.com>]

On Sunday 27 March 2011 22:50:09 'Eugeniy Meshcheryakov' wrote:
> I uploaded spark package to the archive. While package is in the NEW
> queue, it is also available here: http://people.debian.org/~eugen/spark/

Excellent. I've had a look through all the patches besides the simplifier 
patches and they look OK. I will run this through our testset once I get some 
free time (I will try to do it this week).

> This version does not include checker. I plan to fix this in one of the
> next versions. Also copy of alt-ergo supplied with spark is not included,
> because this package is already available in Debian. But I have no idea
> how to check if victor works correctly with version of alt-ergo in
> Debian. Otherwise output is the same for upstream spark-gpl and this
> package when run on Tokeneer.

I think we require alt-ergo 0.92.2; earlier versions have at least one bug 
that affects us.

Thanks,

	Florian