Fixed Debian MariaDB mirror
Reverted to 10.0 and restored RedHat
Merge pull request #5 from loleg/master

Update mirror