freebsd-ports/devel/smv/distinfo

MD5 (smv.r2.5.4.3.tar.gz) = dd1a7ebcbac935845fc73eb8957386cb
SHA256 (smv.r2.5.4.3.tar.gz) = d590cbf02bed6cb25135267be245cd537ba1f030a4934cbb13ba437c3fae4af8
SIZE (smv.r2.5.4.3.tar.gz) = 214640
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			`MD5 (smv.r2.5.4.3.tar.gz) = dd1a7ebcbac935845fc73eb8957386cb`
- 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			`SHA256 (smv.r2.5.4.3.tar.gz) = d590cbf02bed6cb25135267be245cd537ba1f030a4934cbb13ba437c3fae4af8`
SIZEify (maintainer timeout) 2004-03-31 03:12:58 +00:00			`SIZE (smv.r2.5.4.3.tar.gz) = 214640`