Admin/components/main
changeset 81969 2feeac105b53
parent 81968 15d045d0d093
child 81977 2947ba9c56f7
--- a/Admin/components/main	Fri Jan 24 13:06:29 2025 +0100
+++ b/Admin/components/main	Fri Jan 24 14:35:47 2025 +0100
@@ -28,14 +28,14 @@
 opam-2.0.7
 pdfjs-2.14.305
 polyml-5.9.1
-postgresql-42.7.4
+postgresql-42.7.5
 prismjs-1.29.0
 rsync-3.2.7-1
 scala-3.3.4
 smbc-0.4.1
 solr-9.7.0-1
 spass-3.8ds-2
-sqlite-3.47.1.0
+sqlite-3.48.0.0
 stack-2.15.5
 vampire-4.8
 verit-2021.06.2-rmx-1