I updated the meta-data, which let me change most things. There doesn'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's no biggie, <div class="gmail_quote">On Wed, Jun 2, 2010 at 3:46 PM, Robby Findler <<a href="mailto:robby@eecs.northwestern.edu" target="_blank">robby@eecs.northwestern.edu</a>> wrote: <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 <<a href="mailto:jacobm@cs.uchicago.edu" target="_blank">jacobm@cs.uchicago.edu</a>> wrote: > This message tickled a memory, and sure enough, it looks like > get-info/full in collects/setup/getinfo.ss (which planet uses to find > a package's info file) looks for a file literally named "info.ss". I'd > guess that's the issue. </div>Ah. This is due to the planet server running an ancient version of plt. Well, the proper fix is more than I can really do right now (ie bringing planet up to running v5.0 of plt) so I have just hacked the code in the planet installation and I'll look into doing this fix properly when I return. Thanks, Jacob! BTW, this means that newly uploaded packages should work properly, but the Doug's package will have the wrong information since it just used various defaults (since the code incorrectly assumed that the info file didn't exist at all). You should be able to update the information about the planet package tho. Robby </blockquote></div>