Hi all,

I built a new repository of gnuinos, now based on Devuan:

deb http://packages.gnuinos.org/ jessie main
deb-src http://packages.gnuinos.org/ jessie main

Here is the site:

http://188.165.204.61/repo

It includes Linux-libre 3.16.7 (and shortlynetman will be also included
in it, of course).

To import the public key, type the following:

# apt-get install gnuinos-keyring

Cheers,

Aitor.

LONG LIVE FOR DEVUAN