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
--
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
Archive:
http://lists.debian.org/[email protected]
