let inserterlinks1="10.32614/CRAN.package.mined . mined results .  mined.pdf  .  mined_1.0-3.tar.gz  . mined_1.0-3.zip . mined_1.0-3.zip . mined_1.0-3.zip . mined_1.0-3.tgz . mined_1.0-3.tgz . mined_1.0-3.tgz . mined_1.0-3.tgz . mined_1.0-3.tgz . mined_1.0-3.tgz .  mined archive  . https://CRAN.R-project.org/package=mined . "; var inner3235232 = document.getElementById("inserterlinks1") inner3235232.innerHTML = inserterlinks1;