| non port: devel/uppaal/Makefile |
|
SVNWeb
|
Number of commits found: 17 |
|
Fri, 7 Mar 2014
|
[ 16:49 bapt  ]   (Only the first 10 of 214 ports in this commit are shown above.  )
Convert d* to USES=zip
|
|
Fri, 20 Sep 2013
|
[ 17:17 bapt ] (Only the first 10 of 623 ports in this commit are shown above. )
Add NO_STAGE all over the place in preparation for the staging support (cat:
devel part 4)
|
|
Thu, 29 Aug 2013
|
[ 14:11 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
|
|
Fri, 5 Jul 2013
|
[ 06:42 bapt ]
Mark as broken: does not fetch
|
|
Fri, 30 Dec 2011
|
[ 17:26 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)
|
|
Tue, 20 Dec 2011
|
[ 05:20 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
|
|
Mon, 7 Nov 2011
|
[ 04:24 miwi ] (Only the first 10 of 39 ports in this commit are shown above. )
- Get rid FreeBSD 6 support
|
|
Tue, 20 Oct 2009
|
[ 09:50 miwi ]
- Update to 4.0.10
PR: 139738
Submitted by: Timothy Bourke <timbob@bigpond.com> (maintainer)
|
|
Sat, 10 Jan 2009
|
[ 15:27 miwi ]
- Update to 4.0.7
PR: 129607
Submitted by: Timothy Bourke <timbob@bigpond.com> (maintainer)
|
|
Fri, 6 Jun 2008
|
[ 13:21 edwin ] (Only the first 10 of 367 ports in this commit are shown above. )
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 ] (Only the first 10 of 7868 ports in this commit are shown above. )
- 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 ]
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 ]
- Update to 4.0.6
PR: 111446
Submitted by: Timothy Bourke <timbob@bigpond.com>
|
|
Mon, 13 Nov 2006
|
[ 01:33 miwi ]
- 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 ]
- Update to 4.0.2
PR: ports/103246
Submitted by: Timothy Bourke <timbob at bigpond.com> (maintainer)
|
|
Thu, 8 Dec 2005
|
[ 14:02 vs ]
Fix IGNORE[a]nce if distfile has not yet been downloaded
|
|
Wed, 16 Nov 2005
|
[ 09:25 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
|
Number of commits found: 17 |
As an Amazon Associate I earn from qualifying purchases.