diff options
| author | tv <tv@krebsco.de> | 2022-12-09 14:33:18 +0100 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2022-12-09 14:33:18 +0100 |
| commit | 581c20be8f792d48d54465e27845aa184c5677bd (patch) | |
| tree | 82b067f4ca97adbaafbd6d84a4e20adb778cdbf6 /krebs/5pkgs/simple | |
| parent | dc63f2af6b5f21ccecb5c22087efe4a60db8978b (diff) | |
| parent | 1df762657baf7d0c27a178113e613c94e6b12aa3 (diff) | |
Merge remote-tracking branch 'gum/master'
Diffstat (limited to 'krebs/5pkgs/simple')
| -rw-r--r-- | krebs/5pkgs/simple/ukrepl.nix | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/krebs/5pkgs/simple/ukrepl.nix b/krebs/5pkgs/simple/ukrepl.nix new file mode 100644 index 000000000..bdea4181f --- /dev/null +++ b/krebs/5pkgs/simple/ukrepl.nix @@ -0,0 +1,11 @@ +{ lib, pkgs,stdenv }: +let + src = pkgs.fetchFromGitHub { + owner = "makefu"; + repo = "ukrepl"; + rev = "0baa5cc4d5c3c17af704b69a800dd1f520ded8e3"; + hash = "sha256:1lnhkf02f18fvf3l2fcszvs4x115lql17akabd5ph9ff9z33k8rv"; + }; +in + pkgs.writers.writePython3Bin "ukrepl" {} (builtins.readFile (src + "/ukrepl")) + |