Date: Sat, 11 Apr 2009 03:00:02 +0000 (UTC) From: Wesley Shields <wxs@FreeBSD.org> To: ports-committers@FreeBSD.org, cvs-ports@FreeBSD.org, cvs-all@FreeBSD.org Subject: cvs commit: ports/lang/twelf Makefile distinfo pkg-descr pkg-plist ports/lang/twelf/files patch-FreeBSD.mk patch-Makefile patch-bin-mkexec patch-doc-guide-Makefile patch-doc-guide-twelf.texi patch-mlton-Makefile patch-smlnj-Makefile patch-twelf.info Message-ID: <200904110300.n3B302n4044694@repoman.freebsd.org>
next in thread | raw e-mail | index | archive | help
wxs 2009-04-11 03:00:02 UTC
FreeBSD ports repository
Modified files:
lang/twelf Makefile distinfo pkg-descr pkg-plist
lang/twelf/files patch-Makefile
Added files:
lang/twelf/files patch-FreeBSD.mk patch-bin-mkexec
patch-doc-guide-Makefile
patch-doc-guide-twelf.texi
patch-mlton-Makefile patch-smlnj-Makefile
Removed files:
lang/twelf/files patch-twelf.info
Log:
- Update to 1.5R1
PR: ports/131631
Submitted by: Andrew Bernard <andrewb@cs.cmu.edu> (maintainer)
Revision Changes Path
1.3 +19 -3 ports/lang/twelf/Makefile
1.2 +3 -3 ports/lang/twelf/distinfo
1.1 +170 -0 ports/lang/twelf/files/patch-FreeBSD.mk (new)
1.2 +19 -78 ports/lang/twelf/files/patch-Makefile
1.1 +13 -0 ports/lang/twelf/files/patch-bin-mkexec (new)
1.1 +11 -0 ports/lang/twelf/files/patch-doc-guide-Makefile (new)
1.1 +14 -0 ports/lang/twelf/files/patch-doc-guide-twelf.texi (new)
1.1 +30 -0 ports/lang/twelf/files/patch-mlton-Makefile (new)
1.1 +26 -0 ports/lang/twelf/files/patch-smlnj-Makefile (new)
1.2 +0 -13 ports/lang/twelf/files/patch-twelf.info (dead)
1.2 +1 -1 ports/lang/twelf/pkg-descr
1.2 +115 -48 ports/lang/twelf/pkg-plist
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200904110300.n3B302n4044694>