summaryrefslogtreecommitdiff
path: root/math/z3/files/patch-scripts_mk__util.py
diff options
context:
space:
mode:
authorTAKATSU Tomonari <tota@FreeBSD.org>2017-09-05 14:48:17 +0000
committerTAKATSU Tomonari <tota@FreeBSD.org>2017-09-05 14:48:17 +0000
commit2dc5a30fab752ef1276ba22ca6f69c34f95de2b2 (patch)
treee534fcd61bbdbc03b1f97336c1c1fd1c72599ea8 /math/z3/files/patch-scripts_mk__util.py
parent- Update to 3.5.11 (diff)
- Add new port: www/R-cran-downloader
Provides a wrapper for the download.file function, making it possible to download files over HTTPS on Windows, Mac OS X, and other Unix-like platforms. The 'RCurl' package provides this functionality (and much more) but can be difficult to install because it must be compiled with external dependencies. This package has no external dependencies, so it is much easier to install. WWW: https://cran.r-project.org/web/packages/downloader/
Diffstat (limited to 'math/z3/files/patch-scripts_mk__util.py')
0 files changed, 0 insertions, 0 deletions