--- a/Admin/components/components.sha1 Fri Jul 25 20:55:57 2014 +0200
+++ b/Admin/components/components.sha1 Fri Jul 25 21:29:12 2014 +0200
@@ -67,6 +67,7 @@
1812e9fa6d163f63edb93e37d1217640a166cf3e polyml-5.5.0.tar.gz
36f5b8224f484721749682a3655c796a55a2718d polyml-5.5.1-1.tar.gz
36f78f27291a9ceb13bf1120b62a45625afd44a6 polyml-5.5.1.tar.gz
+a588640dbf5da9ae15455b02ef709764a48637dc polyml-5.5.2-1.tar.gz
532f6e8814752aeb406c62fabcfd2cc05f8a7ca8 polyml-5.5.2.tar.gz
8ee375cfc38972f080dbc78f07b68dac03efe968 ProofGeneral-3.7.1.1.tar.gz
847b52c0676b5eb0fbf0476f64fc08c2d72afd0c ProofGeneral-4.1.tar.gz