Hi MonRoyals,
The development of SPARK is still active, but slow. If you want to use the SPARK 2 version, you should use svn, because it is already quite stable (it should have been released, but Juff, the founder of this library didn't took the time to do it :/).