On Wed, 28 Oct 2015 21:48:46 +0100 Eugeniy Meshcheryakov
wrote:
> 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.
Ok, so might be able to t
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.
Євгеній Мещеряков wrote:
> SPARK is a programming language and a set of software development
> products for high assurance software. The SPARK programming language
> is the only language specifically designed to support the development
> of safety or security critical software. In combination with
Package: texlive
Version: 2007-13
When installing texlive or anything that depends on it (such as prosper), a
huge amount of documentation and language specific things are installed.
It would be nice to not have to do this -- I have a laptop with a 4GB hard
drive and texlive takes up about 700
4 matches
Mail list logo
