Date: Sun, 28 Oct 2018 04:45:49 +0000 (UTC) From: Yuri Victorovich <yuri@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r483223 - head/math/yices Message-ID: <201810280445.w9S4jnj7085138@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
Author: yuri Date: Sun Oct 28 04:45:48 2018 New Revision: 483223 URL: https://svnweb.freebsd.org/changeset/ports/483223 Log: math/yices: Update 2.6.0 -> 2.6.1 Reported by: portscout Modified: head/math/yices/Makefile head/math/yices/distinfo Modified: head/math/yices/Makefile ============================================================================== --- head/math/yices/Makefile Sun Oct 28 04:37:14 2018 (r483222) +++ head/math/yices/Makefile Sun Oct 28 04:45:48 2018 (r483223) @@ -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 Modified: head/math/yices/distinfo ============================================================================== --- head/math/yices/distinfo Sun Oct 28 04:37:14 2018 (r483222) +++ head/math/yices/distinfo Sun Oct 28 04:45:48 2018 (r483223) @@ -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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201810280445.w9S4jnj7085138>