ports - FreeBSD ports tree

	Commit message (Collapse)	Author	Age	Files	Lines
*	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