let inserterlinks1="10.32614/CRAN.package.metricminer . https://github.com/fhdsl/metricminer/issues . https://github.com/fhdsl/metricminer . metricminer results .  metricminer.pdf  .  metricminer_1.0.0.tar.gz  . metricminer_1.0.0.zip . metricminer_1.0.0.zip . metricminer_1.0.0.zip . metricminer_1.0.0.tgz . metricminer_1.0.0.tgz . metricminer_1.0.0.tgz . metricminer_1.0.0.tgz . metricminer_1.0.0.tgz . metricminer_1.0.0.tgz .  metricminer archive  . https://CRAN.R-project.org/package=metricminer . "; var inner3235232 = document.getElementById("inserterlinks1") inner3235232.innerHTML = inserterlinks1;