1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-02 01:20:54 +00:00
freebsd-ports/lang/polyml
William Grzybowski dfc8713b75 lang/polyml: allow staging
- Allow staging
- Fix build on head

PR:		ports/184074
Submitted by:	maintainer
2013-12-01 12:46:48 +00:00
..
files
distinfo
Makefile
pkg-descr