Added mirrors for MySQL.

2014-12-17 11:14:46 +00:00
parent f5680cdd49
commit 0c49b2942e
3 changed files with 7 additions and 2 deletions
@@ -426,4 +426,9 @@ rec {
    http://sagemath.org/src-old/
  ];

+  # MySQL mirrors
+  mysql = [
+    http://mysql.mirrors.pair.com/Downloads/
+    http://cdn.mysql.com/Downloads/
+  ];
 }