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?
found NOTHING in cache
			SELECT count(DISTINCT CL.id) AS count
			  FROM element_pathname EP, commit_log_elements CLE, commit_log CL
			 WHERE EP.pathname   = '/ports/head/devel/uppaal/Makefile'
			   AND EP.element_id = CLE.element_ID
			   AND CL.id         = CLE.commit_log_id
PageNumber='1'
Offset='0'
		SELECT DISTINCT
			CL.commit_date - SystemTimeAdjust()                                                                 AS commit_date_raw,
			CL.id                                                                                               AS commit_log_id,
			CL.encoding_losses                                                                                  AS encoding_losses,
			CL.message_id                                                                                       AS message_id,
			CL.committer                                                                                        AS committer,
			CL.description                                                                                      AS commit_description,
			to_char(CL.commit_date - SystemTimeAdjust(), 'DD Mon YYYY')                                         AS commit_date,
			to_char(CL.commit_date - SystemTimeAdjust(), 'HH24:MI')                                             AS commit_time,
			element.name                                                                                                AS port,
			element_pathname(element.id)                                                                                AS pathname,
			element.status                                                                                              AS status,
			element_pathname.pathname                            as element_pathname,
			CL.message_subject,
			NULL AS port_id,
			0    AS needs_refresh,
			NULL AS forbidden,
			NULL AS broken,
			NULL AS deprecated,
			NULL AS ignore,
			commit_log_elements.element_id,
			NULL AS version,
			NULL AS epoch,
			NULL as date_added,
			NULL AS short_description,
			NULL AS category_id,
			NULL AS category,
			NULL AS watch,
			NULL AS vulnerable_current,
			NULL AS vulnerable_past,
			NULL AS restricted,
			NULL AS no_cdrom,
			NULL AS expiration_date,
			NULL AS is_interactive,
			NULL AS only_for_archs,
			NULL AS not_for_archs,
			NULL AS stf_message,
			commit_log_elements.revision_name as revision,
			R.name         AS repo_name,
			R.svn_hostname AS hostname,
			R.path_to_repo AS path_to_repo 
    FROM commit_log_elements, commit_log CL LEFT OUTER JOIN repo R on  CL.repo_id = R.id, element_pathname, element 
	  WHERE CL.id IN (SELECT tmp.ID FROM (SELECT DISTINCT CL.id, CL.commit_date
  FROM element_pathname EP, commit_log_elements CLE, commit_log CL
 WHERE EP.pathname   = '/ports/head/devel/uppaal/Makefile'
   AND EP.element_id = CLE.element_ID
   AND CL.id         = CLE.commit_log_id
ORDER BY CL.commit_date DESC 
LIMIT 100) AS tmp)
	    AND commit_log_elements.commit_log_id = CL.id
	    AND commit_log_elements.element_id    = element.id
        AND element_pathname.element_id       = element.id
   ORDER BY 1 desc,
			commit_log_id, element_pathname
That would give us 9146 rows
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
muttDec 23
muttDec 23
ntpDec 20
ntp-develDec 20
gitDec 19
otrsDec 16
mod_dav_svnDec 15
subversionDec 15
subversion16Dec 15
subversion17Dec 15
nvidia-driverDec 14
nvidia-driver-173Dec 14
nvidia-driver-304Dec 14
asterisk11Dec 11
bind99Dec 11

10 vulnerabilities affecting 28 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 24435
Broken 150
Deprecated 71
Ignore 401
Forbidden 2
Restricted 207
No CDROM 93
Vulnerable 20
Expired 0
Set to expire 66
Interactive 0
new 24 hours 5
new 48 hours8
new 7 days21
new fortnight45
new month103

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