/art/

on6/files/elliptic-6.5.3'>dependabot/npm_and_yarn/devel/electron6/files/elliptic-6.5.3 FreeBSD GNOME current development ports (https://github.com/freebsd/freebsd-ports-gnome)
aboutsummaryrefslogtreecommitdiffstats
path: root/devel/smv
Commit message (Expand)AuthorAgeFilesLines
* Reset inactive maintainer who has not responded to email.linimon2006-09-051-1/+1
* - Update MASTER_SITE to fix fetch problems.garga2005-11-303-2/+3
* SIZEify (maintainer timeout)trevor2004-03-311-0/+1
* Fix a typo.olgeni2003-12-131-1/+1
* Add The SMV (Symbolic Model Verifier), a tool forpav2003-12-13