On Aug 31, 2017, at 23:57, Horst Simon wrote: > When I tried to install mariadb-10.1 I get following error, is it removed? It > work previously.
Upstream developers must have moved or removed the file on their server. I've added it to our mirror server. It should be available to you within a couple hours; retry then.
