mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-28 05:29:48 +00:00
03ec223fd7
The why3 project is worried that users will be confused between this package and a "vanilla" why3, which was simultaneously added with this one. They prefer that this port be completely renamed. While I ponder that, I can at least improve the situation by fixing the descriptions to lessen the chance of confusion between the ports.
6 lines
198 B
Plaintext
6 lines
198 B
Plaintext
This is a component of SPARK 2014. Those looking for the deductive
|
|
program verification platform known as why3 should refer to math/why3
|
|
instead.
|
|
|
|
WWW: https://forge.open-do.org/projects/spark2014
|