7f8351fbcb
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.
2 lines
170 B
Text
2 lines
170 B
Text
SHA256 (alt-ergo-for-spark-gpl-2015-src.tar.gz) = 56e70ee8d7b67e95945c156ff80833e45612882605a163a779b7d11ea01f6fbf
|
|
SIZE (alt-ergo-for-spark-gpl-2015-src.tar.gz) = 230073
|