[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 pertusus at free.fr  2008-06-28 17:59 EST -------
(In reply to comment #20)

> 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.

Indeed, but point is that it is upstream who should be taken the
lead here. It is just a workaround that leave us flexibility. Dates
are, in my opinion, just as meaningless as 0 in any case.

> 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.

Go ahead. I think that the right list is the packaging list and not
the devel list, for such issues the signal over noise is much better.
If nobody cares, then the devel list could be used then.



-- 
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.