Admin/components/components.sha1
changeset 64544 d23b7c9b9dd4
parent 64506 b3ccfd59097d
child 64937 9c94853f03b3
--- a/Admin/components/components.sha1	Thu Dec 08 17:22:51 2016 +0100
+++ b/Admin/components/components.sha1	Sat Dec 10 15:45:16 2016 +0100
@@ -138,6 +138,7 @@
 5b70c12c95a90d858f90c1945011289944ea8e17  polyml-5.6-20160118.tar.gz
 5b19dc93082803b82aa553a5cfb3e914606c0ffd  polyml-5.6.tar.gz
 853ab0e9ff2b73790cc80a2d36cbff8b03e50a8e  polyml-test-7a7b742897e9.tar.gz
+c629cd499a724bbe37b962f727e4ff340c50299d  polyml-test-8529546198aa.tar.gz
 8ee375cfc38972f080dbc78f07b68dac03efe968  ProofGeneral-3.7.1.1.tar.gz
 847b52c0676b5eb0fbf0476f64fc08c2d72afd0c  ProofGeneral-4.1.tar.gz
 8e0b2b432755ef11d964e20637d1bc567d1c0477  ProofGeneral-4.2-1.tar.gz