2017-08-01 00:31:12 +02:00
|
|
|
{ fetchFromGitHub }:
|
2015-06-29 12:58:07 +02:00
|
|
|
|
|
|
|
|
rec {
|
2019-09-25 16:45:54 +02:00
|
|
|
version = "4.0.5";
|
2017-08-01 00:31:12 +02:00
|
|
|
src = fetchFromGitHub {
|
|
|
|
|
owner = "NICMx";
|
|
|
|
|
repo = "Jool";
|
2019-04-20 10:42:48 +02:00
|
|
|
rev = "v${version}";
|
2019-09-25 16:45:54 +02:00
|
|
|
sha256 = "0zfda8mbcg4mgg39shxdx5n2bq6zi9w3v8bcx03b3dp09lmq45y3";
|
2015-06-29 12:58:07 +02:00
|
|
|
};
|
|
|
|
|
}
|
