# Patch to sort out libgstreamer0.9 versioning

Rob Taylor robtaylor at floopily.org
Tue Sep 13 07:27:40 UTC 2005

```Again, apologies to Loic for accidentally replying to him off-list, i
should be careful not to post before coffee ;)

On Mon, 2005-09-12 at 19:48 +0200, Loïc Minier wrote:
>  you basically took max_deps(A, B) and impose that to everything,
which
>  is a regression.

This is the only logical interpretation of the deps you currently have.

Let me restate this situation in simplified logical form to try to
convince you. dependencies are an AND relation, so logically the case
I'm trying to simplify is equivalent to an conjunction of multiple
statements of the form:

(V>=A) AND (V>=B)

where A (e.g. 0.9.1) < B (e.g. 0.9.1-1)

lets enumerate the cases in a table:

(V>=A) | (V>=B) | (V>=A) AND (V>=B)
-----------------------------------
T   |   T    |         T
T   |   F    |         F
T   |   F    |         F
F   |   F    |         F

so the only case where [ (V>=A) AND (V>=B) ] does not give the same
outcome as [ (V>=B) ] is where  V>=A and V<B. Given that version numbers
are fully ordered and A <B as already stated, this is an impossible
situation.
Hence where A<B, [ (V>=A) AND (V>=B) ] is logically equivalent to (V>=B)

If you want me to go through all the cases you have mentioned to prove
that this is the case, then i will, but I'd hope a logical argument
would be more persuasive.
.
Thanks,
Rob Taylor

```