| Commit History - (may be incomplete: see CVSWeb link above for full details) |
| Date | By | Description |
20 Oct 2009 10:50:13
4.0.10
|
miwi  |
- Update to 4.0.10
PR: 139738
Submitted by: Timothy Bourke <timbob@bigpond.com> (maintainer) |
10 Jan 2009 15:27:26
4.0.7
|
miwi  |
- Update to 4.0.7
PR: 129607
Submitted by: Timothy Bourke <timbob@bigpond.com> (maintainer) |
06 Jun 2008 14:21:59
4.0.6_2
|
edwin  |
Bump portrevision due to upgrade of devel/gettext.
The affected ports are the ones with gettext as a run-dependency
according to ports/INDEX-7 (5007 of them) and the ones with USE_GETTEXT
in Makefile (29 of them).
PR: ports/124340
Submitted by: edwin@
Approved by: portmgr (pav) |
19 May 2007 21:32:57
4.0.6_1
|
flz  |
- Welcome X.org 7.2 \o/.
- Set X11BASE to ${LOCALBASE} for recent ${OSVERSION}.
- Bump PORTREVISION for ports intalling files in ${X11BASE}. |
13 Apr 2007 09:48:22
4.0.6
|
edwin  |
Make sysctl check less noisy if compat.linux.osrelease doesn't exist.
Noticed by: INDEX build failure messages
PR: ports/111524
Submitted by: Edwin Groothuis <edwin@>
Reviewed by: Rong-En Fan <rafan@>
Approved by: Timothy Bourke <timbob@bigpond.com> |
11 Apr 2007 21:11:50
4.0.6
|
miwi  |
- Update to 4.0.6
PR: 111446
Submitted by: Timothy Bourke <timbob@bigpond.com> |
13 Nov 2006 01:33:41
4.0.2
|
miwi  |
- Fix Registration URL for download
PR: ports/105446
Submitted by: Timothy Bourke <timbob@bigpond.com> (maintainer)
Reported by: Kris Kennaway |
15 Sep 2006 10:07:16
4.0.2
|
rafan  |
- Update to 4.0.2
PR: ports/103246
Submitted by: Timothy Bourke <timbob at bigpond.com> (maintainer) |
08 Dec 2005 14:02:20
3.4.11
|
vs  |
Fix IGNORE[a]nce if distfile has not yet been downloaded |
16 Nov 2005 09:25:52
3.4.11
|
vs  |
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 |