let inserterlinks1="10.32614/CRAN.package.dotty . https://kevinushey.github.io/dotty/ . dotty results .  dotty.pdf  .  dotty_0.1.0.tar.gz  . dotty_0.1.0.zip . dotty_0.1.0.zip . dotty_0.1.0.zip . dotty_0.1.0.tgz . dotty_0.1.0.tgz . dotty_0.1.0.tgz . dotty_0.1.0.tgz . dotty_0.1.0.tgz . dotty_0.1.0.tgz . https://CRAN.R-project.org/package=dotty . "; var inner3235232 = document.getElementById("inserterlinks1") inner3235232.innerHTML = inserterlinks1;