aboutsummaryrefslogtreecommitdiff
path: root/devel/uppaal/Makefile
Commit message (Expand)AuthorAgeFilesLines
* - Update to 4.0.10Martin Wilke2009-10-201-3/+1
* - Update to 4.0.7Martin Wilke2009-01-101-5/+6
* 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-111-1/+7
* - Fix Registration URL for downloadMartin Wilke2006-11-131-1/+1
* - Update to 4.0.2Rong-En Fan2006-09-151-22/+14
* 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-161-0/+79