Skip to content
Permalink
Browse files

py-jedi: update to 0.13.1

  • Loading branch information
stromnov committed Oct 4, 2018
1 parent 764f566 commit 20f14d2dc030763ddf99d2f5b1b6bba189c0103b
Showing with 4 additions and 4 deletions.
  1. +4 −4 python/py-jedi/Portfile
@@ -4,7 +4,7 @@ PortSystem 1.0
PortGroup python 1.0

name py-jedi
version 0.12.1
version 0.13.1
categories-append devel
platforms darwin
license MIT
@@ -22,9 +22,9 @@ master_sites pypi:[string index ${python.rootname} 0]/${python.rootname}

distname ${python.rootname}-${version}

checksums rmd160 2512abe6a9241735ed12db01fa25369fb57edb2d \
sha256 b409ed0f6913a701ed474a614a3bb46e6953639033e31f769ca7581da5bd1ec1 \
size 361831
checksums rmd160 b1053ede7c6e01efa66dbcffb863785b31ed8eaf \
sha256 b7493f73a2febe0dc33d51c99b474547f7f6c0b2c8fb2b21f453eef204c12148 \
size 365356

if {${name} ne ${subport}} {
# setuptools is mandatory due to 'include_package_data' option

0 comments on commit 20f14d2

Please sign in to comment.
You can’t perform that action at this time.