Admin/components/components.sha1
changeset 56960 e7bf30290627
parent 56936 6dd8866eca69
child 57027 80ffda443738
--- a/Admin/components/components.sha1	Wed May 14 12:15:07 2014 +0200
+++ b/Admin/components/components.sha1	Wed May 14 12:24:38 2014 +0200
@@ -58,6 +58,7 @@
 1812e9fa6d163f63edb93e37d1217640a166cf3e  polyml-5.5.0.tar.gz
 36f5b8224f484721749682a3655c796a55a2718d  polyml-5.5.1-1.tar.gz
 36f78f27291a9ceb13bf1120b62a45625afd44a6  polyml-5.5.1.tar.gz
+532f6e8814752aeb406c62fabcfd2cc05f8a7ca8  polyml-5.5.2.tar.gz
 8ee375cfc38972f080dbc78f07b68dac03efe968  ProofGeneral-3.7.1.1.tar.gz
 847b52c0676b5eb0fbf0476f64fc08c2d72afd0c  ProofGeneral-4.1.tar.gz
 8e0b2b432755ef11d964e20637d1bc567d1c0477  ProofGeneral-4.2-1.tar.gz