From owner-svn-ports-head@FreeBSD.ORG  Fri Jul  5 06:42:32 2013
Return-Path: <owner-svn-ports-head@FreeBSD.ORG>
Delivered-To: svn-ports-head@freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org [8.8.178.115])
 by hub.freebsd.org (Postfix) with ESMTP id 3D488CD0;
 Fri,  5 Jul 2013 06:42:32 +0000 (UTC)
 (envelope-from bapt@FreeBSD.org)
Received: from svn.freebsd.org (svn.freebsd.org
 [IPv6:2001:1900:2254:2068::e6a:0])
 by mx1.freebsd.org (Postfix) with ESMTP id 3070116C3;
 Fri,  5 Jul 2013 06:42:32 +0000 (UTC)
Received: from svn.freebsd.org ([127.0.1.70])
 by svn.freebsd.org (8.14.7/8.14.7) with ESMTP id r656gWxK020758;
 Fri, 5 Jul 2013 06:42:32 GMT (envelope-from bapt@svn.freebsd.org)
Received: (from bapt@localhost)
 by svn.freebsd.org (8.14.7/8.14.5/Submit) id r656gWtA020756;
 Fri, 5 Jul 2013 06:42:32 GMT (envelope-from bapt@svn.freebsd.org)
Message-Id: <201307050642.r656gWtA020756@svn.freebsd.org>
From: Baptiste Daroussin <bapt@FreeBSD.org>
Date: Fri, 5 Jul 2013 06:42:32 +0000 (UTC)
To: ports-committers@freebsd.org, svn-ports-all@freebsd.org,
 svn-ports-head@freebsd.org
Subject: svn commit: r322309 - head/devel/uppaal
X-SVN-Group: ports-head
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
X-BeenThere: svn-ports-head@freebsd.org
X-Mailman-Version: 2.1.14
Precedence: list
List-Id: SVN commit messages for the ports tree for head
 <svn-ports-head.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/options/svn-ports-head>,
 <mailto:svn-ports-head-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/svn-ports-head>
List-Post: <mailto:svn-ports-head@freebsd.org>
List-Help: <mailto:svn-ports-head-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/svn-ports-head>,
 <mailto:svn-ports-head-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Fri, 05 Jul 2013 06:42:32 -0000

Author: bapt
Date: Fri Jul  5 06:42:31 2013
New Revision: 322309
URL: http://svnweb.freebsd.org/changeset/ports/322309

Log:
  Mark as broken: does not fetch

Modified:
  head/devel/uppaal/Makefile

Modified: head/devel/uppaal/Makefile
==============================================================================
--- head/devel/uppaal/Makefile	Fri Jul  5 06:38:03 2013	(r322308)
+++ head/devel/uppaal/Makefile	Fri Jul  5 06:42:31 2013	(r322309)
@@ -1,9 +1,5 @@
-# New ports collection makefile for:   uppaal
-# Date created:        16 August 2005
-# Whom:                Timothy Bourke <timbob@bigpond.com>
-#
+# Created by: Timothy Bourke <timbob@bigpond.com>
 # $FreeBSD$
-#
 
 PORTNAME=	uppaal
 PORTVERSION=	4.0.10
@@ -14,6 +10,8 @@ DISTNAME=	uppaal-${PORTVERSION}-aca
 MAINTAINER=	ports@FreeBSD.org
 COMMENT=	Tool environment for modeling and verifying timed automata
 
+BROKEN=		Does not fetch
+
 USE_ZIP=	yes
 USE_LINUX=	yes
 USE_JAVA=	yes