FreshPorts -- The Place For Ports If you buy from Amazon USA, please support us by using this link.
Follow us
Blog
Twitter

I am looking for an LTO tape library. Do you have one to spare?
Port details
uppaal 4.0.10 devel Deleted on this many watch lists=0 search for ports that depend on this port
Deprecated DEPRECATED: Not staged. See http://lists.freebsd.org/pipermail/freebsd-ports-announce/2014-May/000080.html
Expired This port expired on: 2014-08-31
Ignore 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 RESTRICTED: Downloading requires completion of a license agreement
Tool environment for modeling and verifying timed automata

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 search for ports maintained by this maintainer
Port Added: 16 Nov 2005 09:27:07
Also Listed In: java linux
License: not specified in port


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/
SVNWeb : Main Web Site : Distfiles Availability : PortsMon

NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.

Required To Run:
  1. java/openjdk6
  2. emulators/linux_base-f10
There are no ports dependent upon this port

No installation instructions: this port has been deleted.

The package name of this deleted port was: uppaal


Configuration Options
     No options to configure

Master Sites:
  1. ftp://ftp.FreeBSD.org/pub/FreeBSD/ports/distfiles/

Number of commits found: 20

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
01 Sep 2014 14:56:27
Original commit files touched by this commit  4.0.10
Revision:366881
bapt search for other commits by this committer
Finish r366879
07 Mar 2014 16:49:10
Refresh Original commit files touched by this commit
Revision:347405  Sanity Test Failure
bapt search for other commits by this committer
Convert d* to USES=zip
20 Sep 2013 17:17:45
Original commit files touched by this commit  4.0.10
Revision:327726
bapt search for other commits by this committer
Add NO_STAGE all over the place in preparation for the staging support (cat:
devel part 4)
29 Aug 2013 14:11:29
Original commit files touched by this commit  4.0.10
Revision:325597
bdrewery search for other commits by this committer
- 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
05 Jul 2013 06:42:32
Original commit files touched by this commit  4.0.10
Revision:322309
bapt search for other commits by this committer
Mark as broken: does not fetch
30 Dec 2011 17:26:25
Original commit files touched by this commit  4.0.10
jgh search for other commits by this committer
- 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)
20 Dec 2011 05:20:00
Original commit files touched by this commit  4.0.10
tabthorpe search for other commits by this committer
- 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
07 Nov 2011 04:24:55
Original commit files touched by this commit  4.0.10
  Sanity Test Failure
miwi search for other commits by this committer
- Get rid FreeBSD 6 support
03 Jul 2011 14:59:23
Original commit files touched by this commit  4.0.10
ohauer search for other commits by this committer
-remove MD5
15 May 2011 02:49:17
Original commit files touched by this commit  4.0.10
dougb search for other commits by this committer
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
20 Oct 2009 09:50:13
Original commit files touched by this commit  4.0.10
miwi search for other commits by this committer
- Update to 4.0.10

PR:             139738
Submitted by:   Timothy Bourke <timbob@bigpond.com> (maintainer)
10 Jan 2009 15:27:26
Original commit files touched by this commit  4.0.7
miwi search for other commits by this committer
- Update to 4.0.7

PR:             129607
Submitted by:   Timothy Bourke <timbob@bigpond.com> (maintainer)
06 Jun 2008 13:21:59
Original commit files touched by this commit  4.0.6_2
edwin search for other commits by this committer
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 20:32:57
Original commit files touched by this commit  4.0.6_1
flz search for other commits by this committer
- Welcome X.org 7.2 \o/.
- Set X11BASE to ${LOCALBASE} for recent ${OSVERSION}.
- Bump PORTREVISION for ports intalling files in ${X11BASE}.
13 Apr 2007 08:48:22
Original commit files touched by this commit  4.0.6
edwin search for other commits by this committer
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 20:11:50
Original commit files touched by this commit  4.0.6
miwi search for other commits by this committer
- Update to 4.0.6

PR:             111446
Submitted by:   Timothy Bourke <timbob@bigpond.com>
13 Nov 2006 01:33:41
Original commit files touched by this commit  4.0.2
miwi search for other commits by this committer
- Fix Registration URL for download

PR:             ports/105446
Submitted by:   Timothy Bourke <timbob@bigpond.com> (maintainer)
Reported by:    Kris Kennaway
15 Sep 2006 09:07:16
Original commit files touched by this commit  4.0.2
rafan search for other commits by this committer
- Update to 4.0.2

PR:             ports/103246
Submitted by:   Timothy Bourke <timbob at bigpond.com> (maintainer)
08 Dec 2005 14:02:20
Original commit files touched by this commit  3.4.11
vs search for other commits by this committer
Fix IGNORE[a]nce if distfile has not yet been downloaded
16 Nov 2005 09:25:52
Original commit files touched by this commit  3.4.11
vs search for other commits by this committer
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

Number of commits found: 20

Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD

This site
What is FreshPorts?
About the authors
FAQ
How big is it?
The latest upgrade!
Privacy
Forums
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
asterisk11Sep 18
squidSep 18
squid33Sep 18
dbusSep 17
nginxSep 16
nginx-develSep 16
phpmyadminSep 13
ossec-hids-clientSep 11
ossec-hids-localSep 11
ossec-hids-serverSep 11
chromiumSep 09
trafficserverSep 05
apache22*Sep 03
apache22-event-mpm*Sep 03
apache22-itk-mpm*Sep 03

8 vulnerabilities affecting 19 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds


Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 24135
Broken 117
Deprecated 49
Ignore 370
Forbidden 3
Restricted 205
No CDROM 94
Vulnerable 20
Expired 4
Set to expire 44
Interactive 0
new 24 hours 74
new 48 hours83
new 7 days93
new fortnight145
new month307

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD
Valid HTML, CSS, and RSS.
Copyright © 2000-2014 Dan Langille. All rights reserved.