1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-01 01:17:02 +00:00
freebsd-ports/lang/mlton
Stephen Montgomery-Smith de9f171392 - Chase math/mingw32-libgmp4 moving to math/mingw32-libgmp.
- Bump portrevision.

PR:		ports/163187 and ports/163520
Submitted by:	Naram Qashat <cyberbotx@cyberbotx.com>
2011-12-25 17:24:01 +00:00
..
files
distinfo - remove MD5 2011-07-03 13:45:36 +00:00
Makefile - Chase math/mingw32-libgmp4 moving to math/mingw32-libgmp. 2011-12-25 17:24:01 +00:00
pkg-descr
pkg-plist