Admin/components/main

--- a/Admin/components/main	Mon Oct 31 11:04:54 2022 +0100
+++ b/Admin/components/main	Mon Oct 31 15:50:13 2022 +0100
@@ -15,6 +15,7 @@
 jfreechart-1.5.3
 jortho-1.0-2
 kodkodi-1.5.7
+lipics-3.1.2
 minisat-2.2.1-1
 mlton-20210117-1
 nunchaku-0.5