2017-07-31 22:31:12 +00:00
|
|
|
{ fetchFromGitHub }:
|
2015-06-29 10:58:07 +00:00
|
|
|
|
|
|
|
rec {
|
2020-06-07 17:08:59 +00:00
|
|
|
version = "4.0.9";
|
2017-07-31 22:31:12 +00:00
|
|
|
src = fetchFromGitHub {
|
|
|
|
owner = "NICMx";
|
|
|
|
repo = "Jool";
|
2019-04-20 08:42:48 +00:00
|
|
|
rev = "v${version}";
|
2020-06-07 17:08:59 +00:00
|
|
|
sha256 = "0zhdpk1sbsv1iyr9rvj94wk853684avz3zzn4cv2k4254d7n25m7";
|
2015-06-29 10:58:07 +00:00
|
|
|
};
|
|
|
|
}
|