K 10
svn:author
V 6
marino
K 8
svn:date
V 27
2015-06-28T08:38:46.458047Z
K 7
svn:log
V 197
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.

END