[pkgsrc/trunk]: pkgsrc/devel/py-manticore Package py-manticore v...

[khorben <khorben%pkgsrc.org@localhost>]

details:   https://anonhg.NetBSD.org/pkgsrc/rev/5cd5e38ce017
branches:  trunk
changeset: 307455:5cd5e38ce017
user:      khorben <khorben%pkgsrc.org@localhost>
date:      Sun May 06 22:20:22 2018 +0000
description:
Package py-manticore version 0.1.9

>From the release notes:

Added:

 * Ethereum: --txnocoverage cli argument to suppress coverage based analysis halting criteria
 * Ethereum: Support added for more Solidity features (imports, uint/int types, function types)

Fixed:

 * Numerous Ethereum ABI fixes
 * Linux and x86/64 emulation fixes
 * Solver performance issue

diffstat:

 devel/py-manticore/Makefile |   4 ++--
 devel/py-manticore/distinfo |  10 +++++-----
 2 files changed, 7 insertions(+), 7 deletions(-)

diffs (32 lines):

diff -r 7b0dd9b52234 -r 5cd5e38ce017 devel/py-manticore/Makefile
--- a/devel/py-manticore/Makefile       Sun May 06 19:31:43 2018 +0000
+++ b/devel/py-manticore/Makefile       Sun May 06 22:20:22 2018 +0000
@@ -1,11 +1,11 @@
-# $NetBSD: Makefile,v 1.9 2018/04/06 01:46:33 khorben Exp $
+# $NetBSD: Makefile,v 1.10 2018/05/06 22:20:22 khorben Exp $
 
 DISTNAME=      manticore-${GITHUB_TAG}
 PKGNAME=       ${PYPKGPREFIX}-${EGG_NAME}
 CATEGORIES=    devel
 MASTER_SITES=  ${MASTER_SITE_GITHUB:=trailofbits/}
 GITHUB_PROJECT=        manticore
-GITHUB_TAG=    0.1.8
+GITHUB_TAG=    0.1.9
 
 MAINTAINER=    khorben%defora.org@localhost
 HOMEPAGE=      https://github.com/trailofbits/manticore/
diff -r 7b0dd9b52234 -r 5cd5e38ce017 devel/py-manticore/distinfo
--- a/devel/py-manticore/distinfo       Sun May 06 19:31:43 2018 +0000
+++ b/devel/py-manticore/distinfo       Sun May 06 22:20:22 2018 +0000
@@ -1,6 +1,6 @@
-$NetBSD: distinfo,v 1.3 2018/04/06 01:46:33 khorben Exp $
+$NetBSD: distinfo,v 1.4 2018/05/06 22:20:22 khorben Exp $
 
-SHA1 (manticore-0.1.8.tar.gz) = 178cd8e805488e81a67ee92edb24e26a2f55b1c8
-RMD160 (manticore-0.1.8.tar.gz) = 492ab08532ca69e168dafd110d45e8ecc4bc1431
-SHA512 (manticore-0.1.8.tar.gz) = 19b142656731476819f548bc2374ddf81d0a4910f6031ab0a715b71599c4901081ab3fe871e73754c60bc6c95d3f103c091d5c2588f888254aa45de3cfa29659
-Size (manticore-0.1.8.tar.gz) = 2746878 bytes
+SHA1 (manticore-0.1.9.tar.gz) = ae205157778b941b4431d2f6835fcc8fa42896e9
+RMD160 (manticore-0.1.9.tar.gz) = 7ac41f81a16961428b59a47cd860696a2298bcfc
+SHA512 (manticore-0.1.9.tar.gz) = eb9150a595ac5d38029cf22258cf9a21fcc839a36d0147257f1a478f0494d2773d80bb598044d69988eb5e2ca0546ca5b905d526a8889dc5033437cee98a1e9f
+Size (manticore-0.1.9.tar.gz) = 2750644 bytes