let inserterlinks1="10.32614/CRAN.package.piratings . https://github.com/larsvancutsem/piratings/issues . piratings results .  piratings.pdf  .  piratings_0.1.9.tar.gz  . piratings_0.1.9.zip . piratings_0.1.9.zip . piratings_0.1.9.zip . piratings_0.1.9.tgz . piratings_0.1.9.tgz . piratings_0.1.9.tgz . piratings_0.1.9.tgz . https://CRAN.R-project.org/package=piratings . "; var inner3235232 = document.getElementById("inserterlinks1") inner3235232.innerHTML = inserterlinks1;