John Marino 7f8351fbcb Add new port math/alt-ergo-spark (required by SPARK 2015) ...

This will be RUN_DEPENDS for lang/spark when it is fixed.  The "stock"
math/alt-ergo cannot be used, it locks up when gnatprove calls it.

2015-06-28 08:38:46 +00:00

..

distinfo

…

Makefile

…

pkg-descr

…