Report created on Thu Jul 29 19:29:50 2010. back to main menu

Enter a category and portname to get information about a FreeBSD port:
(although partial match is OK, for more than 1 or 2 ports the report will become unwieldy)

Category:  Portname: 
Category/portname matching: exact  wildcard

Overall Status

CVSweb page devel/uppaal
FreshPorts page devel/uppaal
categories devel java linux
description Tool environment for modeling and verifying timed automata
package name uppaal-4.0.10
URL http://www.uppaal.com/
maintainer timbob@bigpond.com
IGNORE Please download uppaal-4.0.10-aca.zip into /home/linimon/ports/distfiles/ from:\n\thttp://www.it.uu.se/research/group/darts/uppaal/download.shtml\n
RESTRICTED yes
Distfile Survey page devel/uppaal

Active Problem Reports

None.

Build Status

None.
top