diff options
author | jeschli <jeschli@gmail.com> | 2018-07-09 14:31:33 +0200 |
---|---|---|
committer | jeschli <jeschli@gmail.com> | 2018-07-09 14:31:33 +0200 |
commit | 22d09fb80703944abed87d97527fd75ef959c492 (patch) | |
tree | 7559cbff17decdcd2720bb0cc87466478e474e33 /krebs/krops.nix | |
parent | d1c6baf00e98a0229fc7fd96874623efc8417b05 (diff) | |
parent | b3476561c5fddc324cdfebb1cae84834d21fae52 (diff) |
Merge remote-tracking branch 'origin/master'
Diffstat (limited to 'krebs/krops.nix')
-rw-r--r-- | krebs/krops.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/krebs/krops.nix b/krebs/krops.nix index 6a8a05726..861f2d323 100644 --- a/krebs/krops.nix +++ b/krebs/krops.nix @@ -12,7 +12,7 @@ krebs-source = { nixpkgs.git = { - ref = "91b286c8935b8c5df4a99302715200d3bd561977"; + ref = "56fad146a12a6f934d1d5ef875eb729be1b19129"; url = https://github.com/NixOS/nixpkgs; }; stockholm.file = toString ../.; |