1
0

Switch server as previous one got issues.

This commit is contained in:
Markus Birth 2018-05-06 16:26:33 +02:00
parent 1995e5f84e
commit 572eb7d391
Signed by: mbirth
GPG Key ID: A9928D7A098C3A9A

View File

@ -1,4 +1,5 @@
# sudo apt-key adv --recv-keys --keyserver hkp://keyserver.ubuntu.com:80 0xF1656F24C74CD1D8 # sudo apt-key adv --recv-keys --keyserver hkp://keyserver.ubuntu.com:80 0xF1656F24C74CD1D8
# deb [arch=amd64,i386] http://ftp.hosteurope.de/mirror/mariadb.org/repo/10.3/ubuntu artful main # deb [arch=amd64,i386] http://ftp.hosteurope.de/mirror/mariadb.org/repo/10.3/ubuntu artful main
deb [arch=amd64,i386] http://mirror.netcologne.de/mariadb/repo/10.3/ubuntu artful main # deb [arch=amd64,i386] http://mirror.netcologne.de/mariadb/repo/10.3/ubuntu artful main
deb [arch=amd64,i386] http://mirror2.hs-esslingen.de/mariadb/repo/10.3/ubuntu artful main