svn commit: r529165 - head/math/boolector

[Yuri Victorovich]

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 at 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