1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-27 00:57:50 +00:00
freebsd-ports/lang/mlton
2013-03-07 15:31:54 +00:00
..
files - Fix all new cases of 'No newline at end of file' in the ports tree 2013-03-07 15:31:54 +00:00
distinfo
Makefile - fix build with newer math/gmp in ports tree. Newer versions of gmp do not 2013-02-18 18:22:10 +00:00
pkg-descr - fix build with newer math/gmp in ports tree. Newer versions of gmp do not 2013-02-18 18:22:10 +00:00
pkg-plist