how download 3.25.0-Logtalk.pkg to OS X