Mark Linimon
437c1578c6
Reset inactive maintainer who has not responded to email.
...
Hat: portmgr
2006-09-05 07:11:22 +00:00
Renato Botelho
3db2b38cff
- Update MASTER_SITE to fix fetch problems.
...
- 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)
2005-11-30 11:30:11 +00:00
Trevor Johnson
8232e82f85
SIZEify (maintainer timeout)
2004-03-31 03:12:58 +00:00
Jimmy Olgeni
56d4dbd224
Fix a typo.
2003-12-13 11:18:16 +00:00
Pav Lucistnik
2ea5de4d68
Add The SMV (Symbolic Model Verifier), a tool for
...
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>
2003-12-13 01:22:09 +00:00
