From 170f7ec6a2cb7c06d0ccb0a3665f7be6adf4079f Mon Sep 17 00:00:00 2001
From: ChUrl <christoph.urlacher@protonmail.com>
Date: Sat, 4 Nov 2023 11:57:45 +0100
Subject: [PATCH] Fix decker derivation

---
 derivations/decker/default.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/derivations/decker/default.nix b/derivations/decker/default.nix
index 7ba6bb6c..52e73598 100644
--- a/derivations/decker/default.nix
+++ b/derivations/decker/default.nix
@@ -7,7 +7,7 @@
   zlib,
   bzip2,
   ncurses,
-  gmp
+  gmp,
 }: let
   resources = fetchFromGitHub {
     owner = "decker-edu";