Date: Thu, 26 Mar 2020 07:35: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: r529165 - head/math/boolector Message-ID: <202003260735.02Q7Znqd052897@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
Author: yuri Date: Thu Mar 26 07:35:49 2020 New Revision: 529165 URL: https://svnweb.freebsd.org/changeset/ports/529165 Log: math/boolector: Update 3.2.0 -> 3.2.1 Reported by: portscout Modified: head/math/boolector/Makefile head/math/boolector/distinfo Modified: head/math/boolector/Makefile ============================================================================== --- head/math/boolector/Makefile Thu Mar 26 04:58:12 2020 (r529164) +++ head/math/boolector/Makefile Thu Mar 26 07:35:49 2020 (r529165) @@ -1,7 +1,7 @@ # $FreeBSD$ PORTNAME= boolector -DISTVERSION= 3.2.0 +DISTVERSION= 3.2.1 CATEGORIES= math MAINTAINER= yuri@FreeBSD.org Modified: head/math/boolector/distinfo ============================================================================== --- head/math/boolector/distinfo Thu Mar 26 04:58:12 2020 (r529164) +++ head/math/boolector/distinfo Thu Mar 26 07:35:49 2020 (r529165) @@ -1,3 +1,3 @@ -TIMESTAMP = 1581185405 -SHA256 (Boolector-boolector-3.2.0_GH0.tar.gz) = 5065ed4032f2761aff509a99df2124c0de1ab4fc8e7407d271946c92d564f268 -SIZE (Boolector-boolector-3.2.0_GH0.tar.gz) = 1558017 +TIMESTAMP = 1585205935 +SHA256 (Boolector-boolector-3.2.1_GH0.tar.gz) = 0273347f6b24be406e5d37fd3681d64847a0eecb4131006a6afb8f120b69c4dd +SIZE (Boolector-boolector-3.2.1_GH0.tar.gz) = 1561216
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202003260735.02Q7Znqd052897>