# HG changeset patch
# User wenzelm
# Date 1736633950 -3600
# Node ID dfb6c4a15ef46f368d77dd2044b134aac3ff585f
# Parent  d47f3995e35d5b5152d68495318837316ab586ae
components for find_facts;

diff -r d47f3995e35d -r dfb6c4a15ef4 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Sat Jan 11 23:17:08 2025 +0100
+++ b/Admin/components/components.sha1	Sat Jan 11 23:19:10 2025 +0100
@@ -106,6 +106,7 @@
 e4a617aed36c32125aeeee3efea0eeff8c979481 e-3.1-1.tar.gz
 4e436e450775bd971b3247c97d4bba7943ae4762 e-3.1.tar.gz
 239e7b8bebbfc29a1c5151e8fb261ffad44877f1 easychair-3.5.tar.gz
+ea721f9a8a84831313a1b669db76f4ca55794f01 elm-0.19.1.tar.gz
 4a3b4b4e0441c4498a0c71dc348f3538be589a15 eptcs-1.7.0.tar.gz
 6d34b18ca0aa1e10bab6413045d079188c0e2dfb exec_process-1.0.1.tar.gz
 8b9bffd10e396d965e815418295f2ee2849bea75 exec_process-1.0.2.tar.gz
@@ -504,6 +505,7 @@
 bdc7406747790b590518182d8b4131b4a0e90c07 scala-3.4.1.tar.gz
 0983f776b3b9dd95164a747d176d65d0e45f843b scala-3.4.2.tar.gz
 abe7a3b50da529d557a478e9f631a22429418a67 smbc-0.4.1.tar.gz
+fc49638701c17a3e7a93a78df75fd50257da0036 solr-9.7.0.tar.gz
 cbd491c0feba1d21019d05564e76dd04f592ccb4 spass-3.8ds-1.tar.gz
 edaa1268d82203067657aabcf0371ce7d4b579b9 spass-3.8ds-2.tar.gz
 43b5afbcad575ab6817d2289756ca22fd2ef43a9 spass-3.8ds.tar.gz
diff -r d47f3995e35d -r dfb6c4a15ef4 Admin/components/main
--- a/Admin/components/main	Sat Jan 11 23:17:08 2025 +0100
+++ b/Admin/components/main	Sat Jan 11 23:19:10 2025 +0100
@@ -5,6 +5,7 @@
 csdp-6.1.1
 cvc4-1.8
 e-3.1-1
+elm-0.19.1
 easychair-3.5
 eptcs-1.7.0
 flatlaf-2.6
@@ -32,6 +33,7 @@
 rsync-3.2.7-1
 scala-3.3.4
 smbc-0.4.1
+solr-9.7.0
 spass-3.8ds-2
 sqlite-3.47.1.0
 stack-2.15.5