| Report created on Thu Jul 29 19:29:50 2010. | back to main menu |
| 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 |
None.