diff --git a/karolina.csv b/karolina.csv
index dd3c542c8aa9328e1c0c94e2083515e1af34967d..c48149bda7c1fa789024cbbb9a3e0fbbe4f69a78 100644
--- a/karolina.csv
+++ b/karolina.csv
@@ -312,6 +312,7 @@ Eigen/3.4.0-GCCcore-12.2.0,1
 Eigen/3.4.0-GCCcore-12.3.0,1
 Eigen/3.4.0-GCCcore-13.2.0,1
 elfutils/0.183-GCCcore-10.2.0,1
+elfutils/0.187-GCCcore-11.3.0,1
 elfutils/0.189-GCCcore-12.2.0,1
 ELPA/2019.11.001-intel-2020a,1
 ELPA/2021.05.001-intel-2021a,1
@@ -1187,6 +1188,7 @@ Pango/1.48.8-GCCcore-11.2.0,1
 Pango/1.50.12-GCCcore-12.2.0,1
 Pango/1.50.14-GCCcore-12.3.0,1
 PAPI/6.0.0.1-GCCcore-10.3.0,1
+PAPI/7.0.1-GCCcore-12.2.0,1
 papi/7.1.0.1,1
 PAPI/7.1.0-GCCcore-13.2.0,1
 parallel/20230722-GCCcore-12.2.0,1
@@ -1614,6 +1616,7 @@ Yasm/1.3.0-GCCcore-11.3.0,1
 Yasm/1.3.0-GCCcore-12.2.0,1
 Yasm/1.3.0-GCCcore-12.3.0,1
 Yasm/1.3.0-GCCcore-13.2.0,1
+Z3/4.10.2-GCCcore-11.3.0,1
 Z3/4.12.2-GCCcore-12.2.0,1
 Z3/4.12.2-GCCcore-12.3.0,1
 Z3/4.13.0-GCCcore-13.2.0,1