ports/103246: Update port: devel/uppaal

Rong-En Fan rafan at FreeBSD.org
Thu Sep 14 16:21:58 UTC 2006


Synopsis: Update port: devel/uppaal

Responsible-Changed-From-To: freebsd-ports-bugs->rafan
Responsible-Changed-By: rafan
Responsible-Changed-When: Thu Sep 14 16:21:52 UTC 2006
Responsible-Changed-Why: 
Eat.

http://www.freebsd.org/cgi/query-pr.cgi?pr=103246



More information about the freebsd-ports-bugs mailing list