mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-22 00:35:15 +00:00
Code Issues Releases Activity
7a59446bf9
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