diff options
| author | yuri <yuri@FreeBSD.org> | 2018-10-28 12:45:48 +0800 |
|---|---|---|
| committer | yuri <yuri@FreeBSD.org> | 2018-10-28 12:45:48 +0800 |
| commit | 2b2550f872646ac82f1cb708065a152946b55011 (patch) | |
| tree | 43340726e079d3c9c11b6807a0bf9298621d94dc /math | |
| parent | b0d7d7453609938807dc2d4d97eca7b4073d05fb (diff) | |
| download | freebsd-ports-gnome-2b2550f872646ac82f1cb708065a152946b55011.tar.gz freebsd-ports-gnome-2b2550f872646ac82f1cb708065a152946b55011.tar.zst freebsd-ports-gnome-2b2550f872646ac82f1cb708065a152946b55011.zip | |
math/yices: Update 2.6.0 -> 2.6.1
Reported by: portscout
Diffstat (limited to 'math')
| -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 |