Fix decker derivation

2023-11-04 11:57:45 +01:00
parent edefd6acfc
commit 7067a01d02
1 changed files with 1 additions and 1 deletions
--- 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";