Enclosed update for lang/twelf updates to version 1.5R1. Fix: Patch attached with submission follows:
Responsible Changed From-To: freebsd-ports-bugs->wxs I'll take it.
State Changed From-To: open->closed Committed. Thanks!
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 _______________________________________________ cvs-all@freebsd.org mailing list http://lists.freebsd.org/mailman/listinfo/cvs-all To unsubscribe, send any mail to "cvs-all-unsubscribe@freebsd.org"