svn commit: r504127 - head/math/rumur
Yuri Victorovich
yuri at FreeBSD.org
Thu Jun 13 16:57:40 UTC 2019
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
More information about the svn-ports-head
mailing list