mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-30 05:40:06 +00:00
Code Issues Releases Activity
e04251feb5
freebsd-ports/lang/polyml
History
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 lang/polyml: update to 5.7.1 2018-06-29 16:48:10 +00:00
Makefile lang/polyml: update to 5.7.1 2018-06-29 16:48:10 +00:00
pkg-descr
pkg-plist lang/polyml: update to 5.7.1 2018-06-29 16:48:10 +00:00