svn commit: r504127 - head/math/rumur

[Yuri Victorovich]

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 at 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