Merge branch 'master'

This commit is contained in:
Vladimír Čunát
2018-03-05 12:49:52 +01:00
1666 changed files with 26733 additions and 31238 deletions

View File

@@ -17,9 +17,9 @@ stdenv.mkDerivation {
sed -i -e "s|all: bin doc man|all: bin|" \
-e "s|install: install-bin install-man install-doc|install: install-bin|" Makefile
'';
maintainers = [ stdenv.lib.maintainers.sander ];
meta = {
platforms = stdenv.lib.platforms.linux;
maintainers = [ stdenv.lib.maintainers.sander ];
};
}

View File

@@ -9,9 +9,9 @@ stdenv.mkDerivation {
JAVA_HOME=jdk;
PREFIX=''''${out}'';
buildInputs = [ jdk ];
maintainers = [ stdenv.lib.maintainers.sander ];
meta = {
platforms = stdenv.lib.platforms.linux;
maintainers = [ stdenv.lib.maintainers.sander ];
};
}