Admin/components/components.sha1
changeset 61795 16901b0392c6
parent 61746 3df1b6a5837c
child 61829 55c85d25e18c
--- a/Admin/components/components.sha1	Sun Dec 06 23:10:08 2015 +0100
+++ b/Admin/components/components.sha1	Sun Dec 06 23:17:48 2015 +0100
@@ -106,6 +106,7 @@
 b668e1f43a41608a8eb365c5e19db6c54c72748a  polyml-5.5.3-20150911.tar.gz
 1f5cd9b1390dab13861f90dfc06d4180cc107587  polyml-5.5.3-20150916.tar.gz
 03ba81e595fa6d6df069532d67ad3195c37d9046  polyml-5.6-20151123.tar.gz
+822f489c18e38ce5ef979ec21dccce4473e09be6  polyml-5.6-20151206.tar.gz
 8ee375cfc38972f080dbc78f07b68dac03efe968  ProofGeneral-3.7.1.1.tar.gz
 847b52c0676b5eb0fbf0476f64fc08c2d72afd0c  ProofGeneral-4.1.tar.gz
 8e0b2b432755ef11d964e20637d1bc567d1c0477  ProofGeneral-4.2-1.tar.gz