jj: 0.8.0 -> 0.13.0
This commit is contained in:
parent
2c3bb4797c
commit
41e41fc557
1 changed files with 2 additions and 2 deletions
|
@ -1,12 +1,12 @@
|
||||||
{ pkgs, ... }:
|
{ pkgs, ... }:
|
||||||
|
|
||||||
let
|
let
|
||||||
rev = "v0.8.0";
|
rev = "v0.13.0";
|
||||||
src = (pkgs.fetchFromGitHub {
|
src = (pkgs.fetchFromGitHub {
|
||||||
owner = "martinvonz";
|
owner = "martinvonz";
|
||||||
repo = "jj";
|
repo = "jj";
|
||||||
inherit rev;
|
inherit rev;
|
||||||
sha256 = "0kx0qcm3rfd5dr62admih10mla38ldkz3079558vbvyv5685dcli";
|
hash = "sha256-UFe4hVzn/jN22KtTuTcyNpseJdgIkmh9/eAJdSObfYU=";
|
||||||
}) // {
|
}) // {
|
||||||
shortRev = rev;
|
shortRev = rev;
|
||||||
};
|
};
|
||||||
|
|
Loading…
Reference in a new issue