Date: Sat, 14 Sep 2013 19:08:52 +0000 (UTC) From: Ed Schouten <ed@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r327312 - head/science/bddsolve Message-ID: <201309141908.r8EJ8qwm014746@svn.freebsd.org>
next in thread | raw e-mail | index | archive | help
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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201309141908.r8EJ8qwm014746>