1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-16 03:24:07 +00:00
Mirror of the FreeBSD ports git repo https://git.FreeBSD.org/ports.git .
Go to file
Volker Stolz da59b4c557 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
2005-11-16 09:25:52 +00:00
accessibility Mass-conversion to the USE_AUTOTOOLS New World Order. The code present 2005-11-15 06:52:12 +00:00
arabic Mass-conversion to the USE_AUTOTOOLS New World Order. The code present 2005-11-15 06:52:12 +00:00
archivers . Add SHA256. 2005-11-16 05:44:27 +00:00
astro . Add SHA256. 2005-11-16 05:45:20 +00:00
audio - Add additional master site 2005-11-16 08:44:22 +00:00
benchmarks Mass-conversion to the USE_AUTOTOOLS New World Order. The code present 2005-11-15 06:52:12 +00:00
biology BROKEN: Size mismatch 2005-11-16 04:37:44 +00:00
cad Mass-conversion to the USE_AUTOTOOLS New World Order. The code present 2005-11-15 06:52:12 +00:00
chinese Mass-conversion to the USE_AUTOTOOLS New World Order. The code present 2005-11-15 06:52:12 +00:00
comms Mass-conversion to the USE_AUTOTOOLS New World Order. The code present 2005-11-15 06:52:12 +00:00
converters Bump PORTVERSION. 2005-11-15 11:29:48 +00:00
databases Fix MASTER_SITES and WWW (old site no longer reachable). 2005-11-15 20:22:00 +00:00
deskutils BROKEN: Size mismatch 2005-11-16 04:37:44 +00:00
devel Uppaal is an integrated tool environment for modeling, validation 2005-11-16 09:25:52 +00:00
dns Mass-conversion to the USE_AUTOTOOLS New World Order. The code present 2005-11-15 06:52:12 +00:00
editors Mass-conversion to the USE_AUTOTOOLS New World Order. The code present 2005-11-15 06:52:12 +00:00
emulators Fix build on amd64 2005-11-16 01:32:56 +00:00
finance Mass-conversion to the USE_AUTOTOOLS New World Order. The code present 2005-11-15 06:52:12 +00:00
french Mass-conversion to the USE_AUTOTOOLS New World Order. The code present 2005-11-15 06:52:12 +00:00
ftp Mass-conversion to the USE_AUTOTOOLS New World Order. The code present 2005-11-15 06:52:12 +00:00
games . Add SHA256. 2005-11-16 05:53:09 +00:00
german Mass-conversion to the USE_AUTOTOOLS New World Order. The code present 2005-11-15 06:52:12 +00:00
graphics . Add SHA256. 2005-11-16 05:53:09 +00:00
hebrew Mass-conversion to the USE_AUTOTOOLS New World Order. The code present 2005-11-15 06:52:12 +00:00
hungarian Remove the usage of 'misc' as a secondary category. 2005-11-10 03:48:30 +00:00
irc Chase master site 2005-11-16 04:50:54 +00:00
japanese Mass-conversion to the USE_AUTOTOOLS New World Order. The code present 2005-11-15 06:52:12 +00:00
java . Add SHA256. 2005-11-16 06:05:38 +00:00
korean Mass-conversion to the USE_AUTOTOOLS New World Order. The code present 2005-11-15 06:52:12 +00:00
lang - Fix pear pkg-plist 2005-11-16 08:33:09 +00:00
mail Update to 1.22. 2005-11-16 07:48:51 +00:00
math BROKEN: Size mismatch 2005-11-16 04:37:44 +00:00
mbone Mass-conversion to the USE_AUTOTOOLS New World Order. The code present 2005-11-15 06:52:12 +00:00
misc Correct FreeBSD.org capitalization and reindent COMMENT 2005-11-16 05:09:09 +00:00
Mk Fix make index (define APXS is not already set). 2005-11-16 08:14:35 +00:00
multimedia Update to 0.8.2. 2005-11-15 18:55:04 +00:00
net Add original master site again, rather than replacing it 2005-11-16 08:33:39 +00:00
net-im Mass-conversion to the USE_AUTOTOOLS New World Order. The code present 2005-11-15 06:52:12 +00:00
net-mgmt Update to 2.0.b5 2005-11-15 12:42:05 +00:00
net-p2p Mass-conversion to the USE_AUTOTOOLS New World Order. The code present 2005-11-15 06:52:12 +00:00
news Mass-conversion to the USE_AUTOTOOLS New World Order. The code present 2005-11-15 06:52:12 +00:00
palm Chase master site 2005-11-16 04:50:54 +00:00
polish Mass-conversion to the USE_AUTOTOOLS New World Order. The code present 2005-11-15 06:52:12 +00:00
ports-mgmt Update to 0.3.5_1 2005-11-16 03:17:13 +00:00
portuguese
print Update to 2.36 2005-11-15 09:21:18 +00:00
russian Fix fetch. 2005-11-13 05:28:11 +00:00
science . Add SHA256. 2005-11-16 06:05:38 +00:00
security Update to DAT 4628 2005-11-15 19:02:48 +00:00
shells Update to 0.95 2005-11-14 22:31:46 +00:00
sysutils . Add SHA256. 2005-11-16 06:05:38 +00:00
Templates
textproc . Add SHA256. 2005-11-16 06:05:38 +00:00
Tools
ukrainian
vietnamese
www - Fix post-install 2005-11-16 08:54:40 +00:00
x11 Update to 0.14.1, serious memory leaks on 0.14.0 was fixed. See release note 2005-11-16 04:00:05 +00:00
x11-clocks . Add SHA256. 2005-11-16 06:05:38 +00:00
x11-fm Mass-conversion to the USE_AUTOTOOLS New World Order. The code present 2005-11-15 06:52:12 +00:00
x11-fonts Mass-conversion to the USE_AUTOTOOLS New World Order. The code present 2005-11-15 06:52:12 +00:00
x11-servers Mass-conversion to the USE_AUTOTOOLS New World Order. The code present 2005-11-15 06:52:12 +00:00
x11-themes Remove ports/x11-themes/kde-icons-crystalosx since the distfile has 2005-11-16 00:21:25 +00:00
x11-toolkits Update to 2.12.1. 2005-11-16 06:43:37 +00:00
x11-wm . Add SHA256. 2005-11-16 06:05:38 +00:00
.cvsignore
CHANGES Remove trailing spaces. 2005-11-13 15:45:52 +00:00
COPYRIGHT
KNOBS add: 2005-11-12 11:56:10 +00:00
LEGAL Remove trailing spaces. 2005-11-13 15:45:52 +00:00
Makefile
MOVED Remove ports/x11-themes/kde-icons-crystalosx since the distfile has 2005-11-16 00:21:25 +00:00
README
UPDATING Note removal of xterm-static and that contrary to usual sequence, 2005-11-13 21:05:31 +00:00

This is the FreeBSD Ports Collection.  For an easy to use
WEB-based interface to it, please see:

        http://www.freebsd.org/ports

For general information on the ports collection, please see the
FreeBSD Handbook which is available from:

        file://localhost/usr/share/doc/handbook/handbook.html

(if you installed the doc distribution on your machine)

Or:

        http://www.freebsd.org/doc/en_US.ISO8859-1/books/handbook/

for the latest official version from FreeBSD-current.

The section "The Ports Collection" will tell you how to use the
ports and packages and the "Porting Applications" section
describes how one can contribute to the ports collection.

If you would like to search for a given port, you can do so easily
by saying:

	make search key="<keyword>"

Which will generate a list of all ports matching <keyword>.

NOTE:  This tree can GROW significantly in size during normal usage!
The distribution tar files can and do accumulate in /usr/ports/distfiles,
and the individual ports will also use up lots of space in their work
subdirectories unless you remember to "make clean" after you're done
building a given port.  /usr/ports/distfiles can also be periodically
cleaned without ill-effect, though if you don't have the original
distribution tarball(s) for something on CDROM then you will need to pull
it all over your network connection again if you ever try to build the
associated port.