Date: Thu, 13 Jun 2019 16:57:39 +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: r504127 - head/math/rumur Message-ID: <201906131657.x5DGvdhc013511@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
Author: yuri Date: Thu Jun 13 16:57:38 2019 New Revision: 504127 URL: https://svnweb.freebsd.org/changeset/ports/504127 Log: math/rumur: Update 2019.06.05 -> 2019.06.12 This update should fix the build on i386. Notified by: upstream Modified: head/math/rumur/Makefile head/math/rumur/distinfo Modified: head/math/rumur/Makefile ============================================================================== --- head/math/rumur/Makefile Thu Jun 13 16:17:44 2019 (r504126) +++ head/math/rumur/Makefile Thu Jun 13 16:57:38 2019 (r504127) @@ -2,7 +2,7 @@ PORTNAME= rumur DISTVERSIONPREFIX= v -DISTVERSION= 2019.06.05 +DISTVERSION= 2019.06.12 CATEGORIES= math MAINTAINER= yuri@FreeBSD.org @@ -10,8 +10,6 @@ COMMENT= Model checker, a formal verification tool for LICENSE= PD LICENSE_FILE= ${WRKSRC}/LICENSE - -BROKEN_i386= no matching function for call to 'make_ul', see https://github.com/Smattr/rumur/issues/136 LIB_DEPENDS= libgmpxx.so:math/gmp Modified: head/math/rumur/distinfo ============================================================================== --- head/math/rumur/distinfo Thu Jun 13 16:17:44 2019 (r504126) +++ head/math/rumur/distinfo Thu Jun 13 16:57:38 2019 (r504127) @@ -1,3 +1,3 @@ -TIMESTAMP = 1559797474 -SHA256 (Smattr-rumur-v2019.06.05_GH0.tar.gz) = 4055fe73641b0c7be9183cef8d2764884869d7eaf7b35719785a881829bbe421 -SIZE (Smattr-rumur-v2019.06.05_GH0.tar.gz) = 168722 +TIMESTAMP = 1560442948 +SHA256 (Smattr-rumur-v2019.06.12_GH0.tar.gz) = 25083ddce317a25da0afbd4833227f277d411c33b69a4297ed33703fdfe16381 +SIZE (Smattr-rumur-v2019.06.12_GH0.tar.gz) = 169073
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201906131657.x5DGvdhc013511>