Merge branch 'staging-next' into staging

2020-10-11 00:27:42 +02:00
parent db3b1c12cb aabcf2d8f5
commit 1882368e8a
184 changed files with 4894 additions and 3560 deletions
@@ -41,5 +41,7 @@ with pkgs;

  patch-shebangs = callPackage ./patch-shebangs {};

+  texlive = callPackage ./texlive {};
+
  writers = callPackage ../build-support/writers/test.nix {};
 }