[opentheory-users] theory file format specification

[Mario Carneiro]

My guess is it should be "[0-9]+([.][0-9]+)*" instead of
"[0-9]+([.][0.9]+)*". This will allow strings like "123.54.2356.0101"
instead of "123.0909.0...9.0099", which looks more version string-like.

Mario

On Sat, Oct 31, 2015 at 4:42 AM, Ramana Kumar <ramana at member.fsf.org> wrote:

> I believe there is an error in
> http://www.gilith.com/research/opentheory/theory.html
>
> The regular expression which a version must satisfy does not look right.
> Could somebody check it for me?
>
> 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...
>
> _______________________________________________
> opentheory-users mailing list
> opentheory-users at gilith.com
> http://www.gilith.com/opentheory/mailing-list
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gilith.com/opentheory/mailing-list/attachments/20151031/368db22a/attachment.html>