Merge branch 'master'

2019-10-09 14:24:04 +02:00
parent 2b6d5dd5d7 dbf21775d4
commit 61273bc672
2124 changed files with 60820 additions and 35272 deletions
@@ -29,5 +29,6 @@ stdenv.mkDerivation rec {
    platforms = [ "x86_64-linux" ];
    license = stdenv.lib.licenses.gpl2;
    homepage = https://opencpn.org/;
+    broken = true;
  };
 }