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