# HG changeset patch
# User wenzelm
# Date 1639224406 -3600
# Node ID 115a47a103aa30bc468b0bb51c75a0865c4e29d5
# Parent  0dd4dbe7bed387ab84124eac5ad991486698062c
added Apache Commons Lang + Text: not particularly exciting, but provides useful things like org.apache.commons.text.StringEscapeUtils or org.apache.commons.text.diff;

diff -r 0dd4dbe7bed3 -r 115a47a103aa Admin/components/components.sha1
--- a/Admin/components/components.sha1	Sat Dec 11 11:17:36 2021 +0100
+++ b/Admin/components/components.sha1	Sat Dec 11 13:06:46 2021 +0100
@@ -7,6 +7,7 @@
 8e0b2b432755ef11d964e20637d1bc567d1c0477  ProofGeneral-4.2-1.tar.gz
 51e1e0f399e934020565b2301358452c0bcc8a5e  ProofGeneral-4.2-2.tar.gz
 8472221c876a430cde325841ce52893328302712  ProofGeneral-4.2.tar.gz
+ce750fb7f26f6f51c03c6e78096a57b8eaf11d21  apache-commons-20211211.tar.gz
 fbe83b522cb37748ac1b3c943ad71704fdde2f82  bash_process-1.1.1.tar.gz
 bb9ef498cd594b4289221b96146d529c899da209  bash_process-1.1.tar.gz
 81250148f8b89ac3587908fb20645081d7f53207  bash_process-1.2.1.tar.gz
diff -r 0dd4dbe7bed3 -r 115a47a103aa Admin/components/main
--- a/Admin/components/main	Sat Dec 11 11:17:36 2021 +0100
+++ b/Admin/components/main	Sat Dec 11 13:06:46 2021 +0100
@@ -1,5 +1,6 @@
 #main components for repository clones or release bundles
 gnu-utils-20211030
+apache-commons-20211211
 bash_process-1.2.4-2
 bib2xhtml-20190409
 csdp-6.1.1