summaryrefslogtreecommitdiffstats
path: root/krebs/5pkgs
diff options
context:
space:
mode:
authortv <tv@krebsco.de>2022-12-09 14:33:18 +0100
committertv <tv@krebsco.de>2022-12-09 14:33:18 +0100
commit581c20be8f792d48d54465e27845aa184c5677bd (patch)
tree82b067f4ca97adbaafbd6d84a4e20adb778cdbf6 /krebs/5pkgs
parentdc63f2af6b5f21ccecb5c22087efe4a60db8978b (diff)
parent1df762657baf7d0c27a178113e613c94e6b12aa3 (diff)
Merge remote-tracking branch 'gum/master'
Diffstat (limited to 'krebs/5pkgs')
-rw-r--r--krebs/5pkgs/simple/ukrepl.nix11
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"))
+