Ports with version numbers going backwards: devel/ode

[Oliver Eikemeier]

Sergey Matveychuk wrote:

> I meant we can treat leading zeros as decreasing factor.
> So, x.001 < x.002 < x.01 < x.02 < x.1 < x.2 < x.10 < x.20
> In other words - zeros never can dropped except there are only zeros in 
> the number i.e. X = X.0 = X.00 = X.000 etc.
>
> We can look on a version number part with leading zeros as on a number 
> with an implicit dot: 001 -> 0.01, 02 -> 0.2 etc. So comparing will not 
> be a problem.

As far as I understand your proposal this will give us

   0.005 < 0.05 < 0.039 < 0.050 < 0.5 < 0.39 < 0.50 < 0.390 < 0.500

while the current order is

   0.005 = 0.05 = 0.5 < 0.039 = 0.39 < 0.050 = 0.50 < 0.390 < 0.500

so you have `interesting' sequences like `0.05 < 0.039 < 0.5 < 0.39'. 
This is what you intended, but it looks strange to me.

-Oliver