freebsd-ports/lang/polyml
Fernando Apesteguía 63285d2a16 lang/polyml: update to 5.7.1
Move some variables to its place.

PR:	229273
Reported by:	hannes@mehnert.org
Approved by:	tcberner (mentor) beyert@cs.ucr.edu (maintainer)
Differential Revision:	https://reviews.freebsd.org/D16022
2018-06-29 16:48:10 +00:00
..
distinfo
Makefile
pkg-descr
pkg-plist