Date: Sun, 25 Oct 2020 18:50:55 +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: r553282 - head/math/minizinc-ide Message-ID: <202010251850.09PIotDh078156@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
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@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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202010251850.09PIotDh078156>