Report created on Wed Jul 30 05:08:13 2014. back to main menu

NOTE: as of 20140601, GNATS has been deprecated. Until portsmon can catch up, expect the PR data to be stale.

Enter a category and portname to get information about a FreeBSD port:
(although partial match is OK, for more than 1 or 2 ports the report will become unwieldy)

Category:  Portname: 
Category/portname matching: exact  wildcard


Overall Status

svn web devel/uppaal
FreshPorts page devel/uppaal
categories devel java linux
description Tool environment for modeling and verifying timed automata
package name uppaal-4.0.10
URL http://www.uppaal.com/
maintainer ports@FreeBSD.org
IGNORE please download uppaal-4.0.10-aca.zip into /var/ports/distfiles/ from http://www.it.uu.se/research/group/darts/uppaal/download.shtml and re-run make
DEPRECATED Not staged. See http://lists.freebsd.org/pipermail/freebsd-ports-announce/2014-May/000080.html
EXPIRATION_DATE 2014-08-31
RESTRICTED yes
NO_STAGE yes
Distfile Survey page overall index

Active Problem Reports

None.

Build And Package Status

build environment error logs packages
logname error type date latest package upload date
84amd64-default          
84i386-default          
91amd64-default          
91amd64-quarterly          
91i386-default          
91i386-quarterly          
93amd64-RELENG_9_3          
93i386-RELENG_9_3          
10amd64-default          
10amd64-quarterly          
10i386-default          
10i386-quarterly          
head-amd64-default          
head-i386-default          
unique build errors: 0


top