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?
non port: head/devel/uppaal/Makefile
SVNWeb

Number of commits found: 17

Fri, 7 Mar 2014
[ 16:49 bapt ] Original commit 
347405 databases/adminer/Makefile
347405 databases/adodb5/Makefile
347405 databases/buzhug/Makefile
347405 databases/dbf/Makefile
347405 databases/exist/Makefile
347405 databases/geoserver-mysql-plugin/Makefile
347405 databases/hashtypes/Makefile
347405 databases/hsqldb/Makefile
347405 databases/jasperserver/Makefile
347405 databases/java-mybatis/Makefile

(Only the first 10 of 214 ports in this commit are shown above. View all ports for this commit)
Convert d* to USES=zip
Fri, 20 Sep 2013
[ 17:17 bapt ] Original commit 
327726 devel/9base/Makefile
327726 devel/ChipmunkPhysics/Makefile
327726 devel/ElectricFence/Makefile
327726 devel/ORBit/Makefile
327726 devel/ORBit2-reference/Makefile
327726 devel/ORBit2/Makefile
327726 devel/R-cran-Defaults/Makefile
327726 devel/R-cran-Hmisc/Makefile
327726 devel/R-cran-RUnit/Makefile
327726 devel/R-cran-Rcpp/Makefile

(Only the first 10 of 623 ports in this commit are shown above. View all ports for this commit)
Add NO_STAGE all over the place in preparation for the staging support (cat:
devel part 4)
Thu, 29 Aug 2013
[ 14:11 bdrewery ] Original commit 
325597 devel/uppaal/Makefile
- 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
Fri, 5 Jul 2013
[ 06:42 bapt ] Original commit 
322309 devel/uppaal/Makefile
Mark as broken: does not fetch
Fri, 30 Dec 2011
[ 17:26 jgh ] Original commit 
1.13 devel/uppaal/Makefile
- 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)
Tue, 20 Dec 2011
[ 05:20 tabthorpe ] Original commit 
1.4 devel/ml-doc/Makefile
1.3 devel/sml_tk/Makefile
1.12 devel/uppaal/Makefile
1.6 graphics/imgtops/Makefile
1.5 misc/pspresent/Makefile
1.4 textproc/sml-fxp/Makefile
- 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
Mon, 7 Nov 2011
[ 04:24 miwi ] Original commit 
1.7 devel/cxxtools/Makefile
1.15 devel/giggle/Makefile
1.20 devel/ice/Makefile
1.12 devel/ioncube/Makefile
1.18 devel/lasi/Makefile
1.13 devel/libbobcat/Makefile
1.33 devel/libdsp/Makefile
1.10 devel/libdwarf/Makefile
1.67 devel/libgsf/Makefile
1.9 devel/libiqxmlrpc/Makefile

(Only the first 10 of 39 ports in this commit are shown above. View all ports for this commit)
- Get rid FreeBSD 6 support
Tue, 20 Oct 2009
[ 09:50 miwi ] Original commit 
1.10 devel/uppaal/Makefile
1.5 devel/uppaal/distinfo
1.4 devel/uppaal/pkg-plist
- Update to 4.0.10

PR:             139738
Submitted by:   Timothy Bourke <timbob@bigpond.com> (maintainer)
Sat, 10 Jan 2009
[ 15:27 miwi ] Original commit 
1.9 devel/uppaal/Makefile
1.4 devel/uppaal/distinfo
1.3 devel/uppaal/files/patch-uppaal
1.3 devel/uppaal/files/uppaal.in
1.3 devel/uppaal/pkg-plist
- Update to 4.0.7

PR:             129607
Submitted by:   Timothy Bourke <timbob@bigpond.com> (maintainer)
Fri, 6 Jun 2008
[ 13:21 edwin ] Original commit 
1.85 devel/ORBit/Makefile
1.134 devel/ORBit2/Makefile
1.6 devel/acovea-gtk/Makefile
1.13 devel/aegis/Makefile
1.13 devel/agide/Makefile
1.7 devel/alabastra/Makefile
1.64 devel/anjuta/Makefile
1.15 devel/antlr/Makefile
1.9 devel/antlrworks/Makefile
1.48 devel/apache-ant/Makefile

(Only the first 10 of 367 ports in this commit are shown above. View all ports for this commit)
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)
Sat, 19 May 2007
[ 20:32 flz ] Original commit 
1.1364 MOVED
1.566 Mk/bsd.port.mk
1.1 Mk/bsd.xorg.mk
1.1 Tools/scripts/mergebase.sh
1.502 UPDATING
1.2 accessibility/at-poke/Makefile
1.60 accessibility/at-spi/Makefile
1.29 accessibility/at-spi/pkg-plist
1.51 accessibility/atk/Makefile
1.27 accessibility/atk/pkg-plist

(Only the first 10 of 7868 ports in this commit are shown above. View all ports for this commit)
- Welcome X.org 7.2 \o/.
- Set X11BASE to ${LOCALBASE} for recent ${OSVERSION}.
- Bump PORTREVISION for ports intalling files in ${X11BASE}.
Fri, 13 Apr 2007
[ 08:48 edwin ] Original commit 
1.6 devel/uppaal/Makefile
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>
Wed, 11 Apr 2007
[ 20:11 miwi ] Original commit 
1.5 devel/uppaal/Makefile
1.3 devel/uppaal/distinfo
- Update to 4.0.6

PR:             111446
Submitted by:   Timothy Bourke <timbob@bigpond.com>
Mon, 13 Nov 2006
[ 01:33 miwi ] Original commit 
1.4 devel/uppaal/Makefile
- Fix Registration URL for download

PR:             ports/105446
Submitted by:   Timothy Bourke <timbob@bigpond.com> (maintainer)
Reported by:    Kris Kennaway
Fri, 15 Sep 2006
[ 09:07 rafan ] Original commit 
1.3 devel/uppaal/Makefile
1.2 devel/uppaal/distinfo
1.2 devel/uppaal/files/patch-uppaal
1.2 devel/uppaal/files/uppaal.in
1.2 devel/uppaal/pkg-plist
- Update to 4.0.2

PR:             ports/103246
Submitted by:   Timothy Bourke <timbob at bigpond.com> (maintainer)
Thu, 8 Dec 2005
[ 14:02 vs ] Original commit 
1.2 devel/uppaal/Makefile
Fix IGNORE[a]nce if distfile has not yet been downloaded
Wed, 16 Nov 2005
[ 09:25 vs ] Original commit 
1.2036 devel/Makefile
1.1 devel/uppaal/Makefile
1.1 devel/uppaal/distinfo
1.1 devel/uppaal/files/patch-uppaal
1.1 devel/uppaal/files/uppaal.in
1.1 devel/uppaal/files/verifyta.in
1.1 devel/uppaal/pkg-descr
1.1 devel/uppaal/pkg-plist
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: 17

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
php53Aug 18
phpmyadminAug 17
chromiumAug 13
serfAug 11
subversionAug 11
subversion17Aug 11
nginxAug 09
nginx-develAug 09
mingw32-opensslAug 06
opensslAug 06
krfbAug 03
gpgmeAug 02
samba4Aug 02
samba41Aug 02
kdelibs4Jul 31

7 vulnerabilities affecting 11 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 24476
Broken 229
Deprecated 827
Ignore 571
Forbidden 36
Restricted 261
No CDROM 101
Vulnerable 23
Expired 0
Set to expire 814
Interactive 0
new 24 hours 0
new 48 hours8
new 7 days39
new fortnight154
new month215

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