kpriv/freebsd-ports
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
141350 commits 42 branches 80 tags 2.7 GiB
Commit graph

4 commits

Author SHA1 Message Date
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