Update decker derivation

derivations/decker/default.nix

@@ -2,52 +2,63 @@
   lib,
   stdenv,
   fetchurl,
+  fetchFromGitHub,
   autoPatchelfHook,
   zlib,
   bzip2,
   ncurses,
   gmp
-}:
+}: let
-stdenv.mkDerivation rec {
+  resources = fetchFromGitHub {
-  pname = "decker";
+    owner = "decker-edu";
-  version = "0.13.4";
+    repo = "decker";
-
+    rev = "f3a2c918514d59ca611490901926bd078823b93d";
-  src = fetchurl {
+    sha256 = "sha256-0gTg9TJ06YCF0lJx9+nVa50+GhmPsvgKIeM8DQr7G9I=";
-    url = "https://github.com/decker-edu/decker/releases/download/v0.13.4/${pname}-v${version}-Linux-X64";
-    sha256 = "sha256-LZ0j2X0zCP9XsWglc488nL25w3VmWh/TYxK1x6K6yOI=";
   };
+in
+  stdenv.mkDerivation rec {
+    pname = "decker";
+    version = "0.13.4";
 
-  nativeBuildInputs = [
+    src = fetchurl {
-    autoPatchelfHook
+      url = "https://github.com/decker-edu/decker/releases/download/v0.13.4/${pname}-v${version}-Linux-X64";
-  ];
+      sha256 = "sha256-LZ0j2X0zCP9XsWglc488nL25w3VmWh/TYxK1x6K6yOI=";
+    };
 
-  unpackCmd = ''
+    nativeBuildInputs = [
-    mkdir -p root
+      autoPatchelfHook
-    cp $curSrc root/decker
+    ];
-  '';
 
-  dontBuild = true;
+    unpackCmd = ''
+      mkdir -p root
+      cp $curSrc root/decker
+    '';
 
-  buildInputs = [
+    dontBuild = true;
-    stdenv.cc.cc.lib
-    zlib
-    bzip2
-    ncurses
-    gmp
-  ];
 
-  installPhase = ''
+    buildInputs = [
-    runHook preInstall
+      stdenv.cc.cc.lib
-    mkdir -p $out/bin
+      zlib
-    cp decker $out/bin/decker
+      bzip2
-    chmod +x $out/bin/decker
+      ncurses
-    runHook postInstall
+      gmp
-  '';
+    ];
 
-  meta = with lib; {
+    installPhase = ''
-    description = "A tool to create interactive web-based presentations.";
+      runHook preInstall
-    homepage = "https://decker.cs.tu-dortmund.de";
+
-    license = licenses.gpl3Only;
+      mkdir -p $out/bin
-    platforms = ["x86_64-linux"];
+      cp decker $out/bin/decker
-  };
+      cp -r ${resources}/resource $out/bin/resource
-}
+      chmod +x $out/bin/decker
+
+      runHook postInstall
+    '';
+
+    meta = with lib; {
+      description = "A tool to create interactive web-based presentations.";
+      homepage = "https://github.com/decker-edu/decker";
+      license = licenses.gpl3Only;
+      platforms = ["x86_64-linux"];
+    };
+  }

home/christoph/default.nix

@@ -328,6 +328,7 @@ rec {
     d2 # generate diagrams from code
     plantuml
     gnuplot # generate function plots
+    pdf2svg
     # TODO: Latex module with individual packages
     texlive.combined.scheme-full
     # tikzit