I know about the new version, I also tried to compile it for Debian, but it was alsways failing either because of internal compiler error or other reasons. And now I just have no time for packaing it. 28 жовтня 2015 о 09:47 +0000 Florian Schanda написав(-ла): > 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 >
Attachment:
signature.asc
Description: PGP signature