Admin/components/main

--- a/Admin/components/main	Fri Nov 04 20:02:54 2022 +0100
+++ b/Admin/components/main	Fri Nov 04 20:15:54 2022 +0100
@@ -18,6 +18,7 @@
 jortho-1.0-2
 kodkodi-1.5.7
 lipics-3.1.2
+llncs-2.22
 minisat-2.2.1-1
 mlton-20210117-1
 nunchaku-0.5