--- a/Admin/components/components.sha1 Tue Feb 07 22:15:07 2017 +0100
+++ b/Admin/components/components.sha1 Wed Feb 08 21:04:18 2017 +0100
@@ -140,6 +140,7 @@
5b19dc93082803b82aa553a5cfb3e914606c0ffd polyml-5.6.tar.gz
853ab0e9ff2b73790cc80a2d36cbff8b03e50a8e polyml-test-7a7b742897e9.tar.gz
c629cd499a724bbe37b962f727e4ff340c50299d polyml-test-8529546198aa.tar.gz
+f132329ca1045858ef456cc08b197c9eeea6881b postgresql-9.4.1212.tar.gz
8ee375cfc38972f080dbc78f07b68dac03efe968 ProofGeneral-3.7.1.1.tar.gz
847b52c0676b5eb0fbf0476f64fc08c2d72afd0c ProofGeneral-4.1.tar.gz
8e0b2b432755ef11d964e20637d1bc567d1c0477 ProofGeneral-4.2-1.tar.gz