let inserterlinks1="10.32614/CRAN.package.extraDistr . https://github.com/twolodzko/extraDistr/issues . https://github.com/twolodzko/extraDistr . extraDistr results .  extraDistr.pdf  .  extraDistr_1.10.0.tar.gz  . extraDistr_1.10.0.zip . extraDistr_1.10.0.zip . extraDistr_1.10.0.zip . extraDistr_1.10.0.tgz . extraDistr_1.10.0.tgz . extraDistr_1.10.0.tgz . extraDistr_1.10.0.tgz .  extraDistr archive  . https://CRAN.R-project.org/package=extraDistr . "; var inner3235232 = document.getElementById("inserterlinks1") inner3235232.innerHTML = inserterlinks1;