| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | - Fix Registration URL for download | Martin Wilke | 2006-11-13 | 1 | -1/+1 |
| * | - Update to 4.0.2 | Rong-En Fan | 2006-09-15 | 1 | -22/+14 |
| * | Fix IGNORE[a]nce if distfile has not yet been downloaded | Volker Stolz | 2005-12-08 | 1 | -11/+2 |
| * | Uppaal is an integrated tool environment for modeling, validation | Volker Stolz | 2005-11-16 | 1 | -0/+79 |
 |
index : ports | |
| FreeBSD ports tree |
| aboutsummaryrefslogtreecommitdiff |