diff options
author | lassulus <lassulus@lassul.us> | 2019-03-12 11:16:45 +0100 |
---|---|---|
committer | lassulus <lassulus@lassul.us> | 2019-03-12 11:16:45 +0100 |
commit | c4ebcc43d2b2f2451b16ee453f5275bd46018cd4 (patch) | |
tree | 64c85c3943ded41140866811c2838cfb8e6c4b92 /makefu/krops.nix | |
parent | 44540e08146438e99840c6aff1af1b9a312d54ed (diff) | |
parent | da5fb52eb08097565c0e78035beb14a8a0ab2366 (diff) |
Merge remote-tracking branch 'gum/master'
Diffstat (limited to 'makefu/krops.nix')
-rw-r--r-- | makefu/krops.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/makefu/krops.nix b/makefu/krops.nix index 57a3b3bbf..7c3fbcf4a 100644 --- a/makefu/krops.nix +++ b/makefu/krops.nix @@ -23,6 +23,7 @@ # nixos-18.09 @ 2018-09-18 # + uhub/sqlite: 5dd7610401747 # + hovercraft: 7134801b17d72 + # + PR#53934: eac6797380af1 nixpkgs = if host-src.arm6 then { # TODO: we want to track the unstable channel symlink = "/nix/var/nix/profiles/per-user/root/channels/nixos/"; |