<div dir="ltr"><div class="gmail_extra" style>I think I figured it out, more or less, how these urls are constructed and fetched: tools and simplestreams.</div><div class="gmail_extra" style><br></div><div class="gmail_extra" style>
And I may have found a bug: <a href="https://bugs.launchpad.net/juju-core/+bug/1185177">https://bugs.launchpad.net/juju-core/+bug/1185177</a></div><div class="gmail_extra" style><br></div><div class="gmail_extra" style><br>
</div></div>