merged
authorwenzelm
Tue, 07 Jun 2022 17:24:42 +0200
changeset 75529 31abccc97ade
parent 75522 e1b0a53328fd (diff)
parent 75528 96fb1f9a4042 (current diff)
child 75533 fd63dad2cbe1
child 75534 1d937b12204d
merged
--- a/Admin/components/components.sha1	Tue Jun 07 17:24:00 2022 +0200
+++ b/Admin/components/components.sha1	Tue Jun 07 17:24:42 2022 +0200
@@ -102,6 +102,7 @@
 f339234ec18369679be0095264e0c0af7762f351 gnu-utils-20210414.tar.gz
 71259aa46134e6cf2c6473b4fc408051b3336490 gnu-utils-20211030.tar.gz
 683acd94761ef460cca1a628f650355370de5afb hol-light-bundle-0.5-126.tar.gz
+511fa8df8be88eb0500032bbd17742d33bdd4636 hugo-0.88.1.tar.gz
 989234b3799fe8750f3c24825d1f717c24fb0214 idea-icons-20210508.tar.gz
 20b53cfc3ffc5b15c1eabc91846915b49b4c0367 isabelle_fonts-20151021.tar.gz
 736844204b2ef83974cd9f0a215738b767958c41 isabelle_fonts-20151104.tar.gz
@@ -372,6 +373,7 @@
 231b33c9c3c27d47e3ba01b399103d70509e0731 postgresql-42.2.5.tar.gz
 6335fbc0658e447b5b9bc48c9ad36e33a05bb72b postgresql-42.2.9.tar.gz
 f132329ca1045858ef456cc08b197c9eeea6881b postgresql-9.4.1212.tar.gz
+f042bba5fb82c7eb8aee99f92eb6ec38c8a067f7 python-3.10.4.tar.gz
 0885e1f1d8feaca78d2f204b6487e6eec6dfab4b scala-2.10.0.tar.gz
 f7dc7a4e1aea46408fd6e44b8cfacb33af61afbc scala-2.10.1.tar.gz
 207e4916336335386589c918c5e3f3dcc14698f2 scala-2.10.2.tar.gz