Hi, I am one of the SPARK developers. These days there are two revisions of SPARK - a legacy version and the new ada-2012 based one. I would recommend to only package the newer one (spark 2014 -- http://spark-2014.org).
If there is anything I can do to help with this, please let me know.
Florian
