# HG changeset patch
# User wenzelm
# Date 1539800751 -7200
# Node ID d0517da45e5c5ce4c3d627493b93a7140ca35e20
# Parent  6f4d561ea621a2a7824b274615fb24bbea5d7c69
auto update;

diff -r 6f4d561ea621 -r d0517da45e5c Admin/components/components.sha1
--- a/Admin/components/components.sha1	Wed Oct 17 20:06:19 2018 +0200
+++ b/Admin/components/components.sha1	Wed Oct 17 20:25:51 2018 +0200
@@ -4,6 +4,7 @@
 97b2491382130a841b3bbaebdcf8720c4d4fb227  bash_process-1.2.2.tar.gz
 9e21f447bfa0431ae5097301d553dd6df3c58218  bash_process-1.2.tar.gz
 a65ce644b6094d41e9f991ef851cf05eff5dd0a9  bib2xhtml-20171221.tar.gz
+f92cff635dfba5d4d77f469307369226c868542c  cakeml-2.0.tar.gz
 e7ffe4238b61a3c1ee87aca4421e7a612e09b836  ci-extras-1.tar.gz
 70105fd6fbfd1a868383fc510772b95234325d31  csdp-6.x.tar.gz
 2f6417b8e96a0e4e8354fe0f1a253c18fb55d9a7  cvc3-2.4.1.tar.gz
@@ -189,6 +190,7 @@
 53123dc011b2d4b4e8fe307f3c9fa355718ad01a  postgresql-42.1.1.tar.gz
 3a5d31377ec07a5069957f5477a4848cfc89a594  postgresql-42.1.4.tar.gz
 e7cd5c7955e9eb5ce8cd07feb97230b23d2eec40  postgresql-42.2.2.tar.gz
+231b33c9c3c27d47e3ba01b399103d70509e0731  postgresql-42.2.5.tar.gz
 f132329ca1045858ef456cc08b197c9eeea6881b  postgresql-9.4.1212.tar.gz
 8ee375cfc38972f080dbc78f07b68dac03efe968  ProofGeneral-3.7.1.1.tar.gz
 847b52c0676b5eb0fbf0476f64fc08c2d72afd0c  ProofGeneral-4.1.tar.gz