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