sync/ports
1
0
Fork 0
mirror of https://git.freebsd.org/ports.git synced 2025-06-03 03:46:30 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions
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