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. |
||
|---|---|---|
| .. | ||
| files | ||
| distinfo | ||
| Makefile | ||
| pkg-descr | ||
| pkg-plist | ||