On 10/30/15 13:25, Kurt Jaeger wrote: > There's no public distfile, only available if one registers ? Exactly. I believe the license (LGPL) allow redistribution, though, so the distfile could be hosted somewhere else. This has never been a problem in previous releases of the port. bye av.