diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2018-10-28 04:45:48 +0000 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2018-10-28 04:45:48 +0000 |
| commit | 729f4c97de9905894936d7206c5cade7fa960d40 (patch) | |
| tree | 43340726e079d3c9c11b6807a0bf9298621d94dc /math/yices | |
| parent | 8b015d2ef235bb55993452b74cdcef6e572abad2 (diff) | |
Notes
Diffstat (limited to 'math/yices')
| -rw-r--r-- | math/yices/Makefile | 2 | ||||
| -rw-r--r-- | math/yices/distinfo | 6 |
2 files changed, 4 insertions, 4 deletions
diff --git a/math/yices/Makefile b/math/yices/Makefile index c96114cd3668..2fdf113c3590 100644 --- a/math/yices/Makefile +++ b/math/yices/Makefile @@ -1,7 +1,7 @@ # $FreeBSD$ PORTNAME= yices -DISTVERSION= 2.6.0 +DISTVERSION= 2.6.1 CATEGORIES= math MASTER_SITES= http://yices.csl.sri.com/releases/${DISTVERSION}/ DISTNAME= ${PORTNAME}-${DISTVERSION}-src diff --git a/math/yices/distinfo b/math/yices/distinfo index 1ca35faa1ea3..69167197d0ae 100644 --- a/math/yices/distinfo +++ b/math/yices/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1532156748 -SHA256 (yices-2.6.0-src.tar.gz) = 4712c5c4bd1d299418148c68851c023041dc16450907353bedd4c17c1e4713e4 -SIZE (yices-2.6.0-src.tar.gz) = 5539571 +TIMESTAMP = 1540701574 +SHA256 (yices-2.6.1-src.tar.gz) = c37340616483f584ee403a06ab01fc9151a834e07a4d937a155b1e6a73b3b93e +SIZE (yices-2.6.1-src.tar.gz) = 5419404 |