For precise, from which you should really upgrade, you need to look at the very `help(options)` I pointed you to and select _the external curl or wget_ as the method for `download.file()`.
Dirk -- http://dirk.eddelbuettel.com | @eddelbuettel | [email protected] _______________________________________________ R-SIG-Debian mailing list [email protected] https://stat.ethz.ch/mailman/listinfo/r-sig-debian
