Martin,
And not to beat a dead horse, but isn't the root cause the outdated rpm? So can't you replace / update that package? That's what I do over in the .deb world, and for Ubuntu it is particularly easy with PPAs. Dirk -- http://dirk.eddelbuettel.com | @eddelbuettel | e...@debian.org ______________________________________________ R-package-devel@r-project.org mailing list https://stat.ethz.ch/mailman/listinfo/r-package-devel
