Great little collection of dev releases, for those that want to live on the bleeding edge.
Fix Trajectories repository uri
The client has been able to handle .tar.gz for a while. Recent releases (at least since v1.12) use it by default. This updates our list of repos to use the .tar.gz versions which require less bandwidth than their zippy counterparts.
This is one of my old copies. Might be not fully up-to-date, but a starting point nevertheless