<div dir="ltr">Yes I agree, Mario.<br><br>On this topic, the specification is also confusing in that it specifies a
 regular expression for "PACKAGE-NAME" in the Package Information 
section, but later, in the Package Blocks section, "PACKAGE-NAME" is 
again used but this time with a different expectation for what regular 
expression it should satisfy. I would suggest that in Package Blocks 
both "PACKAGE-NAME" and "PACKAGE-VERSION" are re-used.<br></div><div class="gmail_extra"><br><div class="gmail_quote">On 31 October 2015 at 19:48, Mario Carneiro <span dir="ltr"><<a href="mailto:di.gama@gmail.com" target="_blank">di.gama@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div><div><div><div>My guess is it should be "<span><span>[0-9]+([.][0-9]+)*"</span></span> instead of "[0-9]+([.][0.9]+)*". This will allow strings like "123.54.2356.0101"<span><span></span></span> instead of "123.0909.0...9.0099", which looks more version string-like.<br></div></div></div><span><span></span></span></div><span><span><br>Mario<br></span></span></div><div class="gmail_extra"><br><div class="gmail_quote"><div><div class="h5">On Sat, Oct 31, 2015 at 4:42 AM, Ramana Kumar <span dir="ltr"><<a href="mailto:ramana@member.fsf.org" target="_blank">ramana@member.fsf.org</a>></span> wrote:<br></div></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><div class="h5"><div dir="ltr"><div><div><div>I believe there is an error in <a href="http://www.gilith.com/research/opentheory/theory.html" target="_blank">http://www.gilith.com/research/opentheory/theory.html</a><br><br></div>The regular expression which a version must satisfy does not look right.<br></div>Could somebody check it for me?<br><br></div>I also have a request that package names be more liberal, for example allowing numbers or uppercase letters. But this is not an urgent request, we'll see what happens when more packages flow into the gilith repo...<br></div>
<br></div></div>_______________________________________________<br>
opentheory-users mailing list<br>
<a href="mailto:opentheory-users@gilith.com" target="_blank">opentheory-users@gilith.com</a><br>
<a href="http://www.gilith.com/opentheory/mailing-list" rel="noreferrer" target="_blank">http://www.gilith.com/opentheory/mailing-list</a><br>
<br></blockquote></div><br></div>
<br>_______________________________________________<br>
opentheory-users mailing list<br>
<a href="mailto:opentheory-users@gilith.com">opentheory-users@gilith.com</a><br>
<a href="http://www.gilith.com/opentheory/mailing-list" rel="noreferrer" target="_blank">http://www.gilith.com/opentheory/mailing-list</a><br>
<br></blockquote></div><br></div>