Permalink
Browse files
py-jedi: update to 0.13.3
- Loading branch information
Showing
with
4 additions
and
4 deletions.
-
+4
−4
python/py-jedi/Portfile
|
|
@@ -4,7 +4,7 @@ PortSystem 1.0 |
|
|
PortGroup python 1.0 |
|
|
|
|
|
name py-jedi |
|
|
version 0.13.2 |
|
|
version 0.13.3 |
|
|
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 eb1937582569f9fe0c354122861d57e403d521ae \ |
|
|
sha256 571702b5bd167911fe9036e5039ba67f820d6502832285cde8c881ab2b2149fd \ |
|
|
size 365792 |
|
|
checksums rmd160 39cf5d27c80543eb5e581aca353311daa5f9808c \ |
|
|
sha256 2bb0603e3506f708e792c7f4ad8fc2a7a9d9c2d292a358fbbd58da531695595b \ |
|
|
size 366598 |
|
|
|
|
|
if {${name} ne ${subport}} { |
|
|
# setuptools is mandatory due to 'include_package_data' option |
|
|
|
