--- a/Admin/components/components.sha1 Mon Jul 10 21:59:20 2023 +0200
+++ b/Admin/components/components.sha1 Mon Jul 10 22:06:31 2023 +0200
@@ -290,6 +290,7 @@
759848095e2ad506083d92b5646947e3c32f27a0 linux_app-20191223.tar.gz
1a449ce69ac874e21804595d16aaaf5a0d0d0c10 linux_app-20200110.tar.gz
5557b396f5a9aa22388d3e2171f9bc58e4bd6cd7 lipics-3.1.2.tar.gz
+881741f6e7192fd03835b542b1db820daf0ae79c lipics-3.1.3.tar.gz
71b6a272d10c53bb54cba23102e15334ec39bfce llncs-2.22.tar.gz
0aab4f73ff7f5e36f33276547e10897e1e56fb1d macos_app-20130716.tar.gz
ad5d0e640ce3609a885cecab645389a2204e03bb macos_app-20150916.tar.gz