Admin/components/components.sha1
changeset 60188 b8b7006a64ef
parent 60124 c9760373aa0f
child 60280 05fe9bdc4f8f
--- a/Admin/components/components.sha1	Mon Apr 20 18:30:05 2015 +0200
+++ b/Admin/components/components.sha1	Wed Apr 22 18:43:33 2015 +0200
@@ -86,6 +86,7 @@
 36f78f27291a9ceb13bf1120b62a45625afd44a6  polyml-5.5.1.tar.gz
 a588640dbf5da9ae15455b02ef709764a48637dc  polyml-5.5.2-1.tar.gz
 4b690390946f7bfb777b89eb16d6f08987cca12f  polyml-5.5.2-2.tar.gz
+5b31ad8556e41dfd6d5e85f407818be399aa3d2a  polyml-5.5.2-3.tar.gz
 532f6e8814752aeb406c62fabcfd2cc05f8a7ca8  polyml-5.5.2.tar.gz
 8ee375cfc38972f080dbc78f07b68dac03efe968  ProofGeneral-3.7.1.1.tar.gz
 847b52c0676b5eb0fbf0476f64fc08c2d72afd0c  ProofGeneral-4.1.tar.gz