uebung6

2026-06-11 19:31:22 +02:00
parent e7d80a1fbc
commit a4a4913958
24 changed files with 1636 additions and 0 deletions
@@ -92,6 +92,7 @@
            "uebung-3" = mkUebungPdf 3 {};
            "uebung-4" = mkUebungPdf 4 {};
            "uebung-5" = mkUebungPdf 5 {};
+            "uebung-6" = mkUebungPdf 6 {};
          };

          devShells.default = with pkgs;