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