let inserterlinks1="10.32614/CRAN.package.miniGUI . miniGUI results .  miniGUI.pdf  .  miniGUI_0.8-1.tar.gz  . miniGUI_0.8-1.zip . miniGUI_0.8-1.zip . miniGUI_0.8-1.zip . miniGUI_0.8-1.tgz . miniGUI_0.8-1.tgz . miniGUI_0.8-1.tgz . miniGUI_0.8-1.tgz .  miniGUI archive  . https://CRAN.R-project.org/package=miniGUI . "; var inner3235232 = document.getElementById("inserterlinks1") inner3235232.innerHTML = inserterlinks1;