| Port details |
- uppaal Tool environment for modeling and verifying timed automata
- 4.0.10 devel
 =0      4.0.10Version of this port present on the latest quarterly branch.  DEPRECATED: Not staged. See http://lists.freebsd.org/pipermail/freebsd-ports-announce/2014-May/000080.html
 This port expired on: 2014-08-31
 IGNORE: please download uppaal-4.0.10-aca.zip into /usr/local/PORTS-head/distfiles/ from http://www.it.uu.se/research/group/darts/uppaal/download.shtml and re-run make
 RESTRICTED: Downloading requires completion of a license agreement
- There is no maintainer for this port.
- Any concerns regarding this port should be directed to the FreeBSD Ports mailing list via ports@FreeBSD.org
- Port Added: 2005-11-16 09:27:07
- Last Update: 2014-09-01 14:56:27
- SVN Revision: 366881
- Also Listed In: java linux
- License: not specified in port
- WWW:
- http://www.uppaal.com/
- Description:
- 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/
 cgit ¦ GitHub ¦ GitHub ¦ GitLab ¦ 
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - There is no configure plist information for this port.
- Dependency lines:
-
- No installation instructions:
- This port has been deleted.
- PKGNAME: uppaal
- Flavors: there is no flavor information for this port.
- distinfo:
- There is no distinfo for this port.
No package information for this port in our database- Sometimes this happens. Not all ports have packages.
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Runtime dependencies:
-
- java : java/openjdk6
- fedora-release : emulators/linux_base-f10
- There are no ports dependent upon this port
Configuration Options:- No options to configure
- Options name:
- N/A
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|
| Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
| Commit | Credits | Log message |
|---|
4.0.10
01 Sep 2014 14:56:27
  |
bapt |
Finish r366879 |
07 Mar 2014 16:49:10
 
|
bapt |
Convert d* to USES=zip |
4.0.10
20 Sep 2013 17:17:45
|
bapt |
Add NO_STAGE all over the place in preparation for the staging support (cat:
devel part 4) |
4.0.10
29 Aug 2013 14:11:29
|
bdrewery |
- This is not BROKEN, it just needs manual fetching. Remove
check for PACKAGE_BUILDING so it properly sets IGNORE if
the distfile is missing
With hat: portmgr |
4.0.10
05 Jul 2013 06:42:32
|
bapt |
Mark as broken: does not fetch |
4.0.10
30 Dec 2011 17:26:25
|
jgh |
- Reassignment of ECHO_MSG breaks 'make readme', so remove and reformat IGNORE.
- Pet portlint
PR: ports/163252
Submitted by: jgh (me)
Approved by: maintainer (timeout), crees (mentor) |
4.0.10
20 Dec 2011 05:20:00
|
tabthorpe |
- Reassign to the heap do to mail bounce
<timbob@bigpond.com>: host extmail.bigpond.com[61.9.168.122] said: 550 5.1.1
<timbob@bigpond.com> recipient rejected. IB603a (in reply to RCPT TO
command)
Final-Recipient: rfc822; timbob@bigpond.com
Original-Recipient: rfc822;timbob@bigpond.com
Action: failed
Status: 5.1.1
Remote-MTA: dns; extmail.bigpond.com
Diagnostic-Code: smtp; 550 5.1.1 <timbob@bigpond.com> recipient rejected.
With hat: portmgr |
4.0.10
07 Nov 2011 04:24:55
|
miwi |
- Get rid FreeBSD 6 support |
4.0.10
03 Jul 2011 14:59:23
|
ohauer |
-remove MD5 |
4.0.10
15 May 2011 02:49:17
|
dougb |
Remove painful examples of foo="", with particular prejudice against
constructions that parse out to [ -z "$foo" ] && foo=""
These are bad examples that get copied and pasted into new code, so the
hope is that with less bad examples there will be less need for me to
bring this up in review.
In a few of these files all that were changed were comments so that next
time I search for these patterns I won't trip on the file for no reason.
In a few places, add $FreeBSD$
No functional changes, so no PORTREVISION bumps |
4.0.10
20 Oct 2009 09:50:13
|
miwi |
- Update to 4.0.10
PR: 139738
Submitted by: Timothy Bourke <timbob@bigpond.com> (maintainer) |
4.0.7
10 Jan 2009 15:27:26
|
miwi |
- Update to 4.0.7
PR: 129607
Submitted by: Timothy Bourke <timbob@bigpond.com> (maintainer) |
4.0.6_2
06 Jun 2008 13:21:59
|
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) |
4.0.6_1
19 May 2007 20:32:57
|
flz |
- Welcome X.org 7.2 \o/.
- Set X11BASE to ${LOCALBASE} for recent ${OSVERSION}.
- Bump PORTREVISION for ports intalling files in ${X11BASE}. |
4.0.6
13 Apr 2007 08:48:22
|
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> |
4.0.6
11 Apr 2007 20:11:50
|
miwi |
- Update to 4.0.6
PR: 111446
Submitted by: Timothy Bourke <timbob@bigpond.com> |
4.0.2
13 Nov 2006 01:33:41
|
miwi |
- Fix Registration URL for download
PR: ports/105446
Submitted by: Timothy Bourke <timbob@bigpond.com> (maintainer)
Reported by: Kris Kennaway |
4.0.2
15 Sep 2006 09:07:16
|
rafan |
- Update to 4.0.2
PR: ports/103246
Submitted by: Timothy Bourke <timbob at bigpond.com> (maintainer) |
3.4.11
08 Dec 2005 14:02:20
|
vs |
Fix IGNORE[a]nce if distfile has not yet been downloaded |
3.4.11
16 Nov 2005 09:25:52
|
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 |
As an Amazon Associate I earn from qualifying purchases.