I updated the meta-data, which let me change most things. There doesn&#39;t seem to be any way to set the external version (which would be the same as the PLaneT version in this case) or the docs fields, but it&#39;s no biggie,<br>

<br><div class="gmail_quote">On Wed, Jun 2, 2010 at 3:46 PM, Robby Findler <span dir="ltr">&lt;<a href="mailto:robby@eecs.northwestern.edu" target="_blank">robby@eecs.northwestern.edu</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">

<div>On Wed, Jun 2, 2010 at 4:08 PM, Jacob Matthews &lt;<a href="mailto:jacobm@cs.uchicago.edu" target="_blank">jacobm@cs.uchicago.edu</a>&gt; wrote:<br>
&gt; This message tickled a memory, and sure enough, it looks like<br>
&gt; get-info/full in collects/setup/getinfo.ss (which planet uses to find<br>
&gt; a package&#39;s info file) looks for a file literally named &quot;info.ss&quot;. I&#39;d<br>
&gt; guess that&#39;s the issue.<br>
<br>
</div>Ah. This is due to the planet server running an ancient version of<br>
plt. Well, the proper fix is more than I can really do right now (ie<br>
bringing planet up to running v5.0 of plt) so I have just hacked the<br>
code in the planet installation and I&#39;ll look into doing this fix<br>
properly when I return.<br>
<br>
Thanks, Jacob!<br>
<br>
BTW, this means that newly uploaded packages should work properly, but<br>
the Doug&#39;s package will have the wrong information since it just used<br>
various defaults (since the code incorrectly assumed that the info<br>
file didn&#39;t exist at all). You should be able to update the<br>
information about the planet package tho.<br>
<font color="#888888"><br>
Robby<br>
</font></blockquote></div><br>