diff options
| author | khorben <khorben@pkgsrc.org> | 2018-05-06 22:20:22 +0000 |
|---|---|---|
| committer | khorben <khorben@pkgsrc.org> | 2018-05-06 22:20:22 +0000 |
| commit | 1186595581c807c8d361c330294aa299e4e467f0 (patch) | |
| tree | 8ae5bda3c8416b546fe800536e8642608032591d /devel | |
| parent | 0c6e1ac161c635b2ee0de9a053513251bae477a2 (diff) | |
| download | pkgsrc-1186595581c807c8d361c330294aa299e4e467f0.tar.gz | |
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 (limited to 'devel')
| -rw-r--r-- | devel/py-manticore/Makefile | 4 | ||||
| -rw-r--r-- | devel/py-manticore/distinfo | 10 |
2 files changed, 7 insertions, 7 deletions
diff --git a/devel/py-manticore/Makefile b/devel/py-manticore/Makefile index 1842c6cee1d..115502ddb48 100644 --- a/devel/py-manticore/Makefile +++ b/devel/py-manticore/Makefile @@ -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 HOMEPAGE= https://github.com/trailofbits/manticore/ diff --git a/devel/py-manticore/distinfo b/devel/py-manticore/distinfo index c0aedad91c3..20592e643e2 100644 --- a/devel/py-manticore/distinfo +++ b/devel/py-manticore/distinfo @@ -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 |