freebsd-ports/lang/polyml
Edwin Groothuis 718c5ef4c5 [MAINTAINER] lang/polyml: 5.1 -> 5.2
PR:		ports/126068
Submitted by:	Timothy Bourke <timbob@bigpond.com>
2008-08-15 00:42:08 +00:00
..
files [MAINTAINER] lang/polyml: 5.1 -> 5.2 2008-08-15 00:42:08 +00:00
distinfo [MAINTAINER] lang/polyml: 5.1 -> 5.2 2008-08-15 00:42:08 +00:00
Makefile [MAINTAINER] lang/polyml: 5.1 -> 5.2 2008-08-15 00:42:08 +00:00
pkg-descr