ports - FreeBSD ports tree

	Commit message (Collapse)	Author	Age	Files	Lines
*	For ports maintained by ports@FreeBSD.org, remove names and/or	Doug Barton	2009-12-21	1	-3/+0
\| \| \| \| \| \| \| \| \| \| \|	e-mail addresses from the pkg-descr file that could reasonably be mistaken for maintainer contact information in order to avoid confusion on the part of users looking for support. As a pleasant side effect this also avoids confusion and/or frustration for people who are no longer maintaining those ports. Notes: svn path=/head/; revision=246327
*	- Mark MAKE_JOBS_UNSAFE	Pav Lucistnik	2009-11-22	1	-0/+1
\| \| \| \| \| \| \|	Reported by: pointyhat Notes: svn path=/head/; revision=244657
*	Reset inactive maintainer who has not responded to email.	Mark Linimon	2006-09-05	1	-1/+1
\| \| \| \| \| \| \|	Hat: portmgr Notes: svn path=/head/; revision=172279
*	- Update MASTER_SITE to fix fetch problems.	Renato Botelho	2005-11-30	3	-2/+3
\| \| \| \| \| \| \| \| \| \| \| \|	- Update WWW on pkg-descr. - Added SHA256 on distinfo. PR: ports/88863 Submitted by: Jean Milanez Melo <jmelo@freebsdbrasil.com.br> Approved by: maintainer timeout (19 days) Notes: svn path=/head/; revision=150025
*	SIZEify (maintainer timeout)	Trevor Johnson	2004-03-31	1	-0/+1
\| \| \| \|	Notes: svn path=/head/; revision=105747
*	Fix a typo.	Jimmy Olgeni	2003-12-13	1	-1/+1
\| \| \| \|	Notes: svn path=/head/; revision=95717
*	Add The SMV (Symbolic Model Verifier), a tool for	Pav Lucistnik	2003-12-13	10	-0/+232
	checking finite state systems against specifications the temporal logic CTL (Computational Tree Logic). PR: ports/59429 Submitted by: Marc van Woerkom <marc.vanwoerkom@fernuni-hagen.de> Notes: svn path=/head/; revision=95707