| Commit message (Collapse) | Author | Age | Files | Lines |
|
|
|
|
|
|
|
|
|
|
|
| |
- 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
|
|
|
|
| |
Notes:
svn path=/head/; revision=95717
|
|
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
|