a5b80a50307cfb4033f52165f1a783b6e1984e90  hedwig-server-4.2.0-bin.tar.gz