aboutsummaryrefslogtreecommitdiff
path: root/devel/uppaal
Commit message (Expand)AuthorAgeFilesLines
* - Update to 4.0.10Martin Wilke2009-10-203-9/+4
* - Update to 4.0.7Martin Wilke2009-01-105-22/+30
* Bump portrevision due to upgrade of devel/gettext.Edwin Groothuis2008-06-061-1/+1
* - Welcome X.org 7.2 \o/.Florent Thoumie2007-05-191-0/+1
* Make sysctl check less noisy if compat.linux.osrelease doesn't exist.Edwin Groothuis2007-04-131-1/+1
* - Update to 4.0.6Martin Wilke2007-04-112-4/+10
* - Fix Registration URL for downloadMartin Wilke2006-11-131-1/+1
* - Update to 4.0.2Rong-En Fan2006-09-155-50/+46
* Fix IGNORE[a]nce if distfile has not yet been downloadedVolker Stolz2005-12-081-11/+2
* Uppaal is an integrated tool environment for modeling, validationVolker Stolz2005-11-167-0/+142