Date: Fri, 10 Aug 2018 09:24:41 +0000 (UTC) From: Gleb Popov <arrowd@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r476818 - in head/math: cryptominisat py-cryptominisat Message-ID: <201808100924.w7A9Ofil053589@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
Author: arrowd Date: Fri Aug 10 09:24:41 2018 New Revision: 476818 URL: https://svnweb.freebsd.org/changeset/ports/476818 Log: math/cryptominisat: Update to 5.6.3. Approved by: tcberner (mentor) Differential Revision: https://reviews.freebsd.org/D16645 Modified: head/math/cryptominisat/Makefile head/math/cryptominisat/distinfo head/math/py-cryptominisat/Makefile head/math/py-cryptominisat/distinfo Modified: head/math/cryptominisat/Makefile ============================================================================== --- head/math/cryptominisat/Makefile Fri Aug 10 09:15:15 2018 (r476817) +++ head/math/cryptominisat/Makefile Fri Aug 10 09:24:41 2018 (r476818) @@ -1,8 +1,7 @@ # $FreeBSD$ PORTNAME= cryptominisat -DISTVERSION= 5.6.1 -PORTREVISION= 2 +DISTVERSION= 5.6.3 CATEGORIES= math MAINTAINER= arrowd@FreeBSD.org Modified: head/math/cryptominisat/distinfo ============================================================================== --- head/math/cryptominisat/distinfo Fri Aug 10 09:15:15 2018 (r476817) +++ head/math/cryptominisat/distinfo Fri Aug 10 09:24:41 2018 (r476818) @@ -1,3 +1,3 @@ -TIMESTAMP = 1528624412 -SHA256 (msoos-cryptominisat-5.6.1_GH0.tar.gz) = f86c1cc94abcb9b9f9227fab2ea29f869b0b47f8dc83946e06e7d98b97cac2aa -SIZE (msoos-cryptominisat-5.6.1_GH0.tar.gz) = 675234 +TIMESTAMP = 1533812522 +SHA256 (msoos-cryptominisat-5.6.3_GH0.tar.gz) = c2fb4912cc8d8f3135af94581f11f30fd82347ee15ad8fb905e12a499e6fa87f +SIZE (msoos-cryptominisat-5.6.3_GH0.tar.gz) = 683713 Modified: head/math/py-cryptominisat/Makefile ============================================================================== --- head/math/py-cryptominisat/Makefile Fri Aug 10 09:15:15 2018 (r476817) +++ head/math/py-cryptominisat/Makefile Fri Aug 10 09:24:41 2018 (r476818) @@ -1,8 +1,7 @@ # $FreeBSD$ PORTNAME= cryptominisat -DISTVERSION= 5.6.1 -PORTREVISION= 1 +DISTVERSION= 5.6.3 CATEGORIES= math python PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX} Modified: head/math/py-cryptominisat/distinfo ============================================================================== --- head/math/py-cryptominisat/distinfo Fri Aug 10 09:15:15 2018 (r476817) +++ head/math/py-cryptominisat/distinfo Fri Aug 10 09:24:41 2018 (r476818) @@ -1,3 +1,3 @@ -TIMESTAMP = 1528628948 -SHA256 (msoos-cryptominisat-5.6.1_GH0.tar.gz) = f86c1cc94abcb9b9f9227fab2ea29f869b0b47f8dc83946e06e7d98b97cac2aa -SIZE (msoos-cryptominisat-5.6.1_GH0.tar.gz) = 675234 +TIMESTAMP = 1533812572 +SHA256 (msoos-cryptominisat-5.6.3_GH0.tar.gz) = c2fb4912cc8d8f3135af94581f11f30fd82347ee15ad8fb905e12a499e6fa87f +SIZE (msoos-cryptominisat-5.6.3_GH0.tar.gz) = 683713
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201808100924.w7A9Ofil053589>