On Thu, Jan 29, 2015 at 09:39:19PM +0000, Noel Torres wrote:
> On Thursday, 29 de January de 2015 18:10:10 Hendrik Boom escribió:
> > So the upgrade to devuan should perhaps introduce the pin?
> > And how soes that pinning work? Simply forbidding systemd and
> > some of its relatives? Or a way te detect devuan packages and
> > if they are present to ignore Debian's corresponding ones despite
> > any version numbers the Debian ones carry?
>
> Pinning works by saying "this repository has bigger priority than that one, no
> matter the version numbers on the packages".
[...]
> Given that, if we pin our repository to 1001, it will always have bigger
> priority than Debian's, even if Debian version is higher than ours, and even
> if we are trying to downgrade from a higher Debian version to a lower Devuan
> one.

I don't think you should force a downgrade -- if the system is on Devuan,
a higher version being installed means an intentional user action. Thus, a
pin above 500 but less than 990 would be appropriate.

--
// If you believe in so-called "intellectual property", please immediately
// cease using counterfeit alphabets. Instead, contact the nearest temple
// of Amon, whose priests will provide you with scribal services for all
// your writing needs, for Reasonable and Non-Discriminatory prices.