1{ fetchFromGitHub }: 2 3rec { 4 version = "4.1.5"; 5 src = fetchFromGitHub { 6 owner = "NICMx"; 7 repo = "Jool"; 8 rev = "v${version}"; 9 sha256 = "05dwz4q6v6azgpyj9dzwihnw1lalhhym116q2ya7spvgxzxi04ax"; 10 }; 11}