Seems like I wrote this email in haste... upon deeper examination, the particular package below is not marked as available for 4.xx tree, so that's probably why the package is unavailable - the error message of "too old" misdirected me ;) <br>
<br>Thanks,<br>yc<br><br><div class="gmail_quote">On Thu, Dec 4, 2008 at 5:38 PM, YC <span dir="ltr"><<a href="mailto:yinso.chen@gmail.com" target="_blank">yinso.chen@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
Hi - <br><br>it seems that the version number change from 3xx into 4.xx are causing some logic issues. I came across this issue trying to require cce/parameter-utils, and below are the results (note the "too old"): <br>
<br><div style="margin-left: 40px;">Welcome to MzScheme v4.0 [3m], Copyright (c) 2004-2008 PLT Scheme Inc.<br>> (require (planet cce/parameter-utils:1:0))<br>stdin::9: require: PLaneT could not find the requested package: Server had no matching package: Your version of PLT Scheme is <b>too old</b> to run the specified package in: (planet cce/parameter-utils:1:0)<br>
</div><br>Obviously, 4.0 is pretty new. I then generated the planet url via `planet url` command, and paste into browser, and then change the 4.0 part into 372, and of course I was able to download the package.<br><br><div style="margin-left: 40px;">
<a href="http://planet.plt-scheme.org/servlets/planet-servlet.ss?lang=%22372%22&name=%22parameter-utils.plt%22&maj=1&min-lo=0&min-hi=%23f&path=%28%22cce%22%29" target="_blank">http://planet.plt-scheme.org/servlets/planet-servlet.ss?lang=%22372%22&name=%22parameter-utils.plt%22&maj=1&min-lo=0&min-hi=%23f&path=%28%22cce%22%29</a><br>
</div><br>So - the comparison of planet versioning is done on pure numbers (and hence 372 is greater than 4.0, even though the build is older). While this is a bug, perhaps switching the versioning convention causes unnecessary headaches? <br>
<font color="#888888">
<br>yc<br><br>
</font></blockquote></div><br>