# HG changeset patch # User wenzelm # Date 1658918971 -7200 # Node ID 0caf8528b07bbc8e561534f5b2595b4c73f29335 # Parent de32bb75721d302c7b0c1ca35d9344f55ba02464 updated to postgresql-42.4.0; diff -r de32bb75721d -r 0caf8528b07b Admin/components/components.sha1 --- a/Admin/components/components.sha1 Wed Jul 27 12:38:50 2022 +0200 +++ b/Admin/components/components.sha1 Wed Jul 27 12:49:31 2022 +0200 @@ -375,6 +375,7 @@ 1aaa38429dc9aa7b1095394d9a7ba3465f8d6e04 postgresql-42.2.24.tar.gz 231b33c9c3c27d47e3ba01b399103d70509e0731 postgresql-42.2.5.tar.gz 6335fbc0658e447b5b9bc48c9ad36e33a05bb72b postgresql-42.2.9.tar.gz +f84c7ecafb07a0d763f1d70edc54f7c43c2e8c63 postgresql-42.4.0.tar.gz f132329ca1045858ef456cc08b197c9eeea6881b postgresql-9.4.1212.tar.gz f042bba5fb82c7eb8aee99f92eb6ec38c8a067f7 python-3.10.4.tar.gz 0885e1f1d8feaca78d2f204b6487e6eec6dfab4b scala-2.10.0.tar.gz diff -r de32bb75721d -r 0caf8528b07b Admin/components/main --- a/Admin/components/main Wed Jul 27 12:38:50 2022 +0200 +++ b/Admin/components/main Wed Jul 27 12:49:31 2022 +0200 @@ -20,7 +20,7 @@ opam-2.0.7 pdfjs-2.14.305 polyml-test-15c840d48c9a -postgresql-42.2.24 +postgresql-42.4.0 scala-3.1.3 smbc-0.4.1 spass-3.8ds-2