uebung5

2026-05-21 23:48:44 +02:00
parent 1f51386b57
commit 7859b5c801
8 changed files with 254 additions and 11 deletions
@@ -91,6 +91,7 @@
            "uebung-2" = mkUebungPdf 2 {};
            "uebung-3" = mkUebungPdf 3 {};
            "uebung-4" = mkUebungPdf 4 {};
+            "uebung-5" = mkUebungPdf 5 {};
          };

          devShells.default = with pkgs;