[Bug 452559] Review Request: zfuzz - Z fuzz - Type-checker and LaTeX style for Z spec language

[bugzilla at redhat.com]

Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug report.

Summary: Review Request: zfuzz - Z fuzz - Type-checker and LaTeX style for Z spec language


https://bugzilla.redhat.com/show_bug.cgi?id=452559





------- Additional Comments From dwheeler at dwheeler.com  2008-06-28 17:45 EST -------
>> here's my proposal: version numbering is of the form "(yyyy-2000).mm[dd]".
>> Since this was released on 2007-09-11, this is version "7.09". Thus we have
>> a normal-looking version number, yet one that easily syncs with upstream.
>> Ubuntu uses this format, so it's not unknown in the world.

>I don't really object to that, but I think that using a plain 0
>and having the date in the release tag leaves more room
>for flexibility and allow any change.

For the _first_ version number, "0" is doable, and it will allow us to
wait a little while in case there's another/better approach that comes to
light.  So I'll update this package to use version "0" as its initial release.

But version "0" is really just a useful delaying tactic.
For the _next_ version it won't be obvious what the
new value should be (other than "greater than 0"). Having it
continuously "0" _works_, but it seems awkward for the long term.
Sooner or later a "real" solution needs to be determined,
one that "obviously works" across distributions.
Otherwise, no one will be able to tell if (for example) the
Debian and Fedora versions are the same, or they'll be hideously ugly.
Some way of synchronizing version numbers seems like a good idea.

>I think I will submit this issue on the packaging list, it is not the
>first time something like that happens, and though I don't think it should
>be a guideline, some recommendations may be interesting.

I agree.  I'm currently packaging minisat2, and it has the same problem -
its "version number" is the release date.

If you don't get a chance to post this version-date topic
to the list within a day or so, I plan to post it. I'd definitely like to
hear others' views about this, and maybe even get a rough consensus.
Let me know if there's some reason I shouldn't do so.

>Ok, I'll sponsor you, that's an interesting initiative.

Excellent! Thanks.



-- 
Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug, or are watching someone who is.