From owner-cvs-ports@FreeBSD.ORG  Wed Nov 16 09:25:54 2005
Return-Path: <owner-cvs-ports@FreeBSD.ORG>
X-Original-To: cvs-ports@FreeBSD.org
Delivered-To: cvs-ports@FreeBSD.org
Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125])
	by hub.freebsd.org (Postfix) with ESMTP id BEBBD16A41F;
	Wed, 16 Nov 2005 09:25:54 +0000 (GMT) (envelope-from vs@FreeBSD.org)
Received: from repoman.freebsd.org (repoman.freebsd.org [216.136.204.115])
	by mx1.FreeBSD.org (Postfix) with ESMTP id 8C32443D49;
	Wed, 16 Nov 2005 09:25:54 +0000 (GMT) (envelope-from vs@FreeBSD.org)
Received: from repoman.freebsd.org (localhost [127.0.0.1])
	by repoman.freebsd.org (8.13.1/8.13.1) with ESMTP id jAG9PsrU057775;
	Wed, 16 Nov 2005 09:25:54 GMT (envelope-from vs@repoman.freebsd.org)
Received: (from vs@localhost)
	by repoman.freebsd.org (8.13.1/8.13.1/Submit) id jAG9PsFu057774;
	Wed, 16 Nov 2005 09:25:54 GMT (envelope-from vs)
Message-Id: <200511160925.jAG9PsFu057774@repoman.freebsd.org>
From: Volker Stolz <vs@FreeBSD.org>
Date: Wed, 16 Nov 2005 09:25:52 +0000 (UTC)
To: ports-committers@FreeBSD.org, cvs-ports@FreeBSD.org, cvs-all@FreeBSD.org
X-FreeBSD-CVS-Branch: HEAD
Cc: 
Subject: cvs commit: ports/devel Makefile ports/devel/uppaal Makefile
 distinfo pkg-descr pkg-plist ports/devel/uppaal/files patch-uppaal
 uppaal.in verifyta.in
X-BeenThere: cvs-ports@freebsd.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: CVS commit messages for the ports tree <cvs-ports.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/listinfo/cvs-ports>,
	<mailto:cvs-ports-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/cvs-ports>
List-Post: <mailto:cvs-ports@freebsd.org>
List-Help: <mailto:cvs-ports-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/cvs-ports>,
	<mailto:cvs-ports-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Wed, 16 Nov 2005 09:25:54 -0000

vs          2005-11-16 09:25:52 UTC

  FreeBSD ports repository

  Modified files:
    devel                Makefile 
  Added files:
    devel/uppaal         Makefile distinfo pkg-descr pkg-plist 
    devel/uppaal/files   patch-uppaal uppaal.in verifyta.in 
  Log:
  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
  
  Revision  Changes    Path
  1.2036    +1 -0      ports/devel/Makefile
  1.1       +79 -0     ports/devel/uppaal/Makefile (new)
  1.1       +2 -0      ports/devel/uppaal/distinfo (new)
  1.1       +11 -0     ports/devel/uppaal/files/patch-uppaal (new)
  1.1       +14 -0     ports/devel/uppaal/files/uppaal.in (new)
  1.1       +2 -0      ports/devel/uppaal/files/verifyta.in (new)
  1.1       +9 -0      ports/devel/uppaal/pkg-descr (new)
  1.1       +25 -0     ports/devel/uppaal/pkg-plist (new)