Hello, 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/ 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. Regards, Eugeniy Meshcheryakov
Attachment:
signature.asc
Description: Digital signature