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>