On Wed, Jul 05, 2017 at 11:02:52PM +0300, Adrian Bunk wrote: > 6) > > Package: a > Depends: p (>= 1), p (<< 2) > > Package: b > Provides: p (=1) > > Package: c > Provides: p (=2) > > When a and b are installed, can c be installed without removing a?
Excellent. The fact that real packages can be installed in only one version is used to encode an interval constraint: "p(>=1), p(<<2)" means "p in some version between 1 (inclusive) and 2 (eclusive)". Now, this breaks down with virtual packages since they can be installed in multiple versions at the same time. -Ralf.