1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-15 03:14:23 +00:00
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