Thanks Florian,

It would be a good idea to build a special repository for Raspberry
including:

1.- The Devuan ARM repository
2.- Raspbian repository: only those packages not available from the
Devuan repository
3.- Marillat packages

Cheers,

Aitor

On 07/10/15 14:00, Florian Zieboll <f.zieboll@???> wrote:
> Hello Aitor,
>
> I have to correct myself: For apt to be able to update some Raspberry
> Pi specific files (like the kernel itself), you'll need to keep the
> Raspbian mirror in your sources.list. Of course the Raspbian release
> has to be changed from wheezy to jessie before doing the dist-upgrade.
> The modifications done by the devuan-baseconf package should make sure
> that only those packages not available from the Devuan repository are
> installed from the Raspbian server.
>
> Regards,
>
> Florian