svn commit: r556560 - head/math/minizinc-ide

[Yuri Victorovich]

Author: yuri
Date: Sun Nov 29 10:27:08 2020
New Revision: 556560
URL: https://svnweb.freebsd.org/changeset/ports/556560

Log:
  math/minizinc-ide: Update 2.5.2 -> 2.5.3
  
  Reported by:	portscout

Modified:
  head/math/minizinc-ide/Makefile
  head/math/minizinc-ide/distinfo

Modified: head/math/minizinc-ide/Makefile
==============================================================================
--- head/math/minizinc-ide/Makefile	Sun Nov 29 09:55:41 2020	(r556559)
+++ head/math/minizinc-ide/Makefile	Sun Nov 29 10:27:08 2020	(r556560)
@@ -1,7 +1,7 @@
 # $FreeBSD$
 
 PORTNAME=	minizinc-ide
-DISTVERSION=	2.5.2
+DISTVERSION=	2.5.3
 CATEGORIES=	math lang
 
 MAINTAINER=	yuri at FreeBSD.org

Modified: head/math/minizinc-ide/distinfo
==============================================================================
--- head/math/minizinc-ide/distinfo	Sun Nov 29 09:55:41 2020	(r556559)
+++ head/math/minizinc-ide/distinfo	Sun Nov 29 10:27:08 2020	(r556560)
@@ -1,5 +1,5 @@
-TIMESTAMP = 1605228428
-SHA256 (MiniZinc-MiniZincIDE-2.5.2_GH0.tar.gz) = 6db1440ef130ffd329003a6bc7a3f7416f5692532e65955122e7d1c2f8307c82
-SIZE (MiniZinc-MiniZincIDE-2.5.2_GH0.tar.gz) = 798196
+TIMESTAMP = 1606631072
+SHA256 (MiniZinc-MiniZincIDE-2.5.3_GH0.tar.gz) = 98f7a333152b8783650e8f973816abe0ea2945ce250781b1b0da51d728daa4b3
+SIZE (MiniZinc-MiniZincIDE-2.5.3_GH0.tar.gz) = 798423
 SHA256 (minizinc-cp-profiler-integration-f16b3132df33b3f258971f36dbe5e909983381c9_GL0.tar.gz) = 48593394ab4365445982378dd92b8db98fa917228d7fbe85b60ae04d6f22d57c
 SIZE (minizinc-cp-profiler-integration-f16b3132df33b3f258971f36dbe5e909983381c9_GL0.tar.gz) = 5296