Date: Wed, 16 Nov 2005 09:25:52 +0000 (UTC) From: Volker Stolz <vs@FreeBSD.org> To: ports-committers@FreeBSD.org, cvs-ports@FreeBSD.org, cvs-all@FreeBSD.org Subject: cvs commit: ports/devel Makefile ports/devel/uppaal Makefile distinfo pkg-descr pkg-plist ports/devel/uppaal/files patch-uppaal uppaal.in verifyta.in Message-ID: <200511160925.jAG9PsFu057774@repoman.freebsd.org>
next in thread | raw e-mail | index | archive | help
vs 2005-11-16 09:25:52 UTC
FreeBSD ports repository
Modified files:
devel Makefile
Added files:
devel/uppaal Makefile distinfo pkg-descr pkg-plist
devel/uppaal/files patch-uppaal uppaal.in verifyta.in
Log:
Uppaal is an integrated tool environment for modeling, validation
and verification of real-time systems modeled as networks of timed
automata, extended with data types (bounded integers, arrays, etc.).
The tool is developed in collaboration between the Department of
Information Technology at Uppsala University, Sweden and the
Department of Computer Science at Aalborg University in Denmark.
WWW: http://www.uppaal.com/
PR: ports/84975
Submitted by: Timothy Bourke
Revision Changes Path
1.2036 +1 -0 ports/devel/Makefile
1.1 +79 -0 ports/devel/uppaal/Makefile (new)
1.1 +2 -0 ports/devel/uppaal/distinfo (new)
1.1 +11 -0 ports/devel/uppaal/files/patch-uppaal (new)
1.1 +14 -0 ports/devel/uppaal/files/uppaal.in (new)
1.1 +2 -0 ports/devel/uppaal/files/verifyta.in (new)
1.1 +9 -0 ports/devel/uppaal/pkg-descr (new)
1.1 +25 -0 ports/devel/uppaal/pkg-plist (new)
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200511160925.jAG9PsFu057774>