Date: Fri, 5 Jul 2013 06:42:32 +0000 (UTC) From: Baptiste Daroussin <bapt@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r322309 - head/devel/uppaal Message-ID: <201307050642.r656gWtA020756@svn.freebsd.org>
next in thread | raw e-mail | index | archive | help
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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201307050642.r656gWtA020756>