diff options
author | Ed Schouten <ed@FreeBSD.org> | 2013-09-14 19:08:52 +0000 |
---|---|---|
committer | Ed Schouten <ed@FreeBSD.org> | 2013-09-14 19:08:52 +0000 |
commit | e8fe2d73545ba16e649458a9aa5510f4e6335b5a (patch) | |
tree | 0e3be2621c594e589e27462541c46dcafd0fbdd8 /science/bddsolve | |
parent | 69b6f05b28433af07f2b5b45ceb33f35d51932ac (diff) | |
download | ports-e8fe2d73545ba16e649458a9aa5510f4e6335b5a.tar.gz ports-e8fe2d73545ba16e649458a9aa5510f4e6335b5a.zip |
Notes
Diffstat (limited to 'science/bddsolve')
-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 |