diff options
| author | ed <ed@FreeBSD.org> | 2013-09-15 03:08:52 +0800 |
|---|---|---|
| committer | ed <ed@FreeBSD.org> | 2013-09-15 03:08:52 +0800 |
| commit | 643efabc8e5a94f9688a352836930ffd43776c77 (patch) | |
| tree | 0e3be2621c594e589e27462541c46dcafd0fbdd8 /science | |
| parent | 8e9228a9125fca2fc30a6d68f15e14576792e945 (diff) | |
| download | freebsd-ports-gnome-643efabc8e5a94f9688a352836930ffd43776c77.tar.gz freebsd-ports-gnome-643efabc8e5a94f9688a352836930ffd43776c77.tar.zst freebsd-ports-gnome-643efabc8e5a94f9688a352836930ffd43776c77.zip | |
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.
Diffstat (limited to 'science')
| -rw-r--r-- | science/bddsolve/Makefile | 11 | ||||
| -rw-r--r-- | science/bddsolve/distinfo | 4 |
2 files changed, 6 insertions, 9 deletions
diff --git a/science/bddsolve/Makefile b/science/bddsolve/Makefile index ed7b079b6596..9d9e59ca576f 100644 --- a/science/bddsolve/Makefile +++ b/science/bddsolve/Makefile @@ -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 diff --git a/science/bddsolve/distinfo b/science/bddsolve/distinfo index a1ebacfa3c9d..2b9efd94e71c 100644 --- a/science/bddsolve/distinfo +++ b/science/bddsolve/distinfo @@ -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 |