svn commit: r553282 - head/math/minizinc-ide
Yuri Victorovich
yuri at FreeBSD.org
Sun Oct 25 18:50:55 UTC 2020
Author: yuri
Date: Sun Oct 25 18:50:54 2020
New Revision: 553282
URL: https://svnweb.freebsd.org/changeset/ports/553282
Log:
math/minizinc-ide: Update 2.5.0 -> 2.5.1
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 Oct 25 18:49:59 2020 (r553281)
+++ head/math/minizinc-ide/Makefile Sun Oct 25 18:50:54 2020 (r553282)
@@ -1,7 +1,7 @@
# $FreeBSD$
PORTNAME= minizinc-ide
-DISTVERSION= 2.5.0
+DISTVERSION= 2.5.1
CATEGORIES= math lang
MAINTAINER= yuri at FreeBSD.org
Modified: head/math/minizinc-ide/distinfo
==============================================================================
--- head/math/minizinc-ide/distinfo Sun Oct 25 18:49:59 2020 (r553281)
+++ head/math/minizinc-ide/distinfo Sun Oct 25 18:50:54 2020 (r553282)
@@ -1,5 +1,5 @@
-TIMESTAMP = 1602392912
-SHA256 (MiniZinc-MiniZincIDE-2.5.0_GH0.tar.gz) = 335b8e07bfd0a0d9d9a37424771f81475bcd3c1b3cf2e07a8fb4d8954008d035
-SIZE (MiniZinc-MiniZincIDE-2.5.0_GH0.tar.gz) = 791011
+TIMESTAMP = 1603648688
+SHA256 (MiniZinc-MiniZincIDE-2.5.1_GH0.tar.gz) = 5ef9122cd7b31b65c26a5e55c40dfddd5fcbb835453f5e8eaf8897de35609bd0
+SIZE (MiniZinc-MiniZincIDE-2.5.1_GH0.tar.gz) = 795362
SHA256 (minizinc-cp-profiler-integration-f16b3132df33b3f258971f36dbe5e909983381c9_GL0.tar.gz) = 48593394ab4365445982378dd92b8db98fa917228d7fbe85b60ae04d6f22d57c
SIZE (minizinc-cp-profiler-integration-f16b3132df33b3f258971f36dbe5e909983381c9_GL0.tar.gz) = 5296
More information about the svn-ports-all
mailing list