freebsd-ports/lang/polyml
Mathieu Arnold 2884d5aa32 Fixup USE_GITHUB usage.
It already sets DISTNAME to a very nice unique name, do not set it
yourself.

Sponsored by:	Absolight
2016-11-26 10:09:54 +00:00
..
distinfo
Makefile
pkg-descr
pkg-plist