1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-27 00:57:50 +00:00
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