ports - FreeBSD ports tree

	Commit message (Collapse)	Author	Age	Files	Lines
*	- Update MASTER_SITE to fix fetch problems.	Renato Botelho	2005-11-30	1	-1/+1
\| \| \| \| \| \| \| \| \| \| \| \|	- 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
*	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	1	-0/+14
	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