mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-10-20 20:09:11 +00:00
Code Issues Releases Activity
a88b598dd6
freebsd-ports/lang/polyml
History
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