From owner-svn-ports-all@FreeBSD.ORG  Sat Sep 14 19:08:53 2013
Return-Path: <owner-svn-ports-all@FreeBSD.ORG>
Delivered-To: svn-ports-all@freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org [8.8.178.115])
 (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits))
 (No client certificate requested)
 by hub.freebsd.org (Postfix) with ESMTP id 7CFB2176;
 Sat, 14 Sep 2013 19:08:53 +0000 (UTC) (envelope-from ed@FreeBSD.org)
Received: from svn.freebsd.org (svn.freebsd.org
 [IPv6:2001:1900:2254:2068::e6a:0])
 (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits))
 (No client certificate requested)
 by mx1.freebsd.org (Postfix) with ESMTPS id 6871D253F;
 Sat, 14 Sep 2013 19:08:53 +0000 (UTC)
Received: from svn.freebsd.org ([127.0.1.70])
 by svn.freebsd.org (8.14.7/8.14.7) with ESMTP id r8EJ8rGb014748;
 Sat, 14 Sep 2013 19:08:53 GMT (envelope-from ed@svn.freebsd.org)
Received: (from ed@localhost)
 by svn.freebsd.org (8.14.7/8.14.5/Submit) id r8EJ8qwm014746;
 Sat, 14 Sep 2013 19:08:52 GMT (envelope-from ed@svn.freebsd.org)
Message-Id: <201309141908.r8EJ8qwm014746@svn.freebsd.org>
From: Ed Schouten <ed@FreeBSD.org>
Date: Sat, 14 Sep 2013 19:08:52 +0000 (UTC)
To: ports-committers@freebsd.org, svn-ports-all@freebsd.org,
 svn-ports-head@freebsd.org
Subject: svn commit: r327312 - head/science/bddsolve
X-SVN-Group: ports-head
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
X-BeenThere: svn-ports-all@freebsd.org
X-Mailman-Version: 2.1.14
Precedence: list
List-Id: SVN commit messages for the ports tree <svn-ports-all.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/options/svn-ports-all>,
 <mailto:svn-ports-all-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/svn-ports-all>
List-Post: <mailto:svn-ports-all@freebsd.org>
List-Help: <mailto:svn-ports-all-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/svn-ports-all>,
 <mailto:svn-ports-all-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Sat, 14 Sep 2013 19:08:53 -0000

Author: ed (src committer)
Date: Sat Sep 14 19:08:52 2013
New Revision: 327312
URL: http://svnweb.freebsd.org/changeset/ports/327312

Log:
  Bump bddsolve to version 1.0.3.
  
  Though this does not yet fix the build on FreeBSD HEAD, this version
  does fix some tiny issues that prevent it from being built with clang.

Modified:
  head/science/bddsolve/Makefile
  head/science/bddsolve/distinfo

Modified: head/science/bddsolve/Makefile
==============================================================================
--- head/science/bddsolve/Makefile	Sat Sep 14 18:12:50 2013	(r327311)
+++ head/science/bddsolve/Makefile	Sat Sep 14 19:08:52 2013	(r327312)
@@ -1,14 +1,11 @@
-# New ports collection makefile for:	bddsolve
-# Date created:				11 May 2010
-# Whom:					Ed Schouten <ed@FreeBSD.org>
-#
+# Created by: Ed Schouten <ed@FreeBSD.org>
 # $FreeBSD$
-#
 
 PORTNAME=	bddsolve
-PORTVERSION=	1.02
+PORTVERSION=	1.03
 CATEGORIES=	science
-MASTER_SITES=	http://www.win.tue.nl/~wieger/bddsolve/
+MASTER_SITES=	http://www.win.tue.nl/~wieger/bddsolve/_downloads/
+DISTNAME=	${PORTNAME}-source-${PORTVERSION}
 
 MAINTAINER=	ed@FreeBSD.org
 COMMENT=	BDD-based satisfiability and reachability solver

Modified: head/science/bddsolve/distinfo
==============================================================================
--- head/science/bddsolve/distinfo	Sat Sep 14 18:12:50 2013	(r327311)
+++ head/science/bddsolve/distinfo	Sat Sep 14 19:08:52 2013	(r327312)
@@ -1,2 +1,2 @@
-SHA256 (bddsolve-1.02.zip) = 7cac132baada2fe80c8ec48aa619d799d5b5be7832689632dd1c35a5c9762af5
-SIZE (bddsolve-1.02.zip) = 19180
+SHA256 (bddsolve-source-1.03.zip) = 39af26667feebeafb6dc0dc7baadfe3d28b93b81bc9263887ceb33ab8641a068
+SIZE (bddsolve-source-1.03.zip) = 18440