Merge branch 'master'

2019-10-09 14:38:46 +02:00
parent bbaaefd366 3f39ab6d53
commit d16545fc95
362 changed files with 21109 additions and 7979 deletions
@@ -95,5 +95,6 @@ gcc8Stdenv.mkDerivation {
    license = licenses.agpl3;
    platforms = stdenv.lib.platforms.linux;
    maintainers = [ stdenv.lib.maintainers.farlion ];
+    broken = true;
  };
 }