freebsd-ports/math/why3
Dmitry Marakasov e638299edc - Switch to options helpers
- While here, add some NO_ARCHes and couple missing PORT_OPTIONS=DOCS

Approved by:	portmgr blanket
2015-08-28 13:39:56 +00:00
..
files
distinfo
Makefile - Switch to options helpers 2015-08-28 13:39:56 +00:00
pkg-descr
pkg-plist