On Sun, Dec 02, 2018 at 11:50:14PM +0100, Alessandro Selli wrote:

[cut]

>
>
>   Yes, we're supposed to use deb.devuan.org.  However, it has issues
> with SSL certificates and some mirror repositories if I configure it to
> work over https:
>

deb.devuan.org does *not* work over https. If you need https you must
use one of the mirrors that support it. The full list is available at:

https://pkgmaster.devuan.org/mirror_list.txt

HND

KatolaZ

-- 
[ ~.,_  Enzo Nicosia aka KatolaZ - Devuan -- Freaknet Medialab  ]  
[     "+.  katolaz [at] freaknet.org --- katolaz [at] yahoo.it  ]
[       @)   http://kalos.mine.nu ---  Devuan GNU + Linux User  ]
[     @@)  http://maths.qmul.ac.uk/~vnicosia --  GPG: 0B5F062F  ] 
[ (@@@)  Twitter: @KatolaZ - skype: katolaz -- github: KatolaZ  ]