2017-07-31 23:31:12 +01:00
|
|
|
{ fetchFromGitHub }:
|
2015-06-29 11:58:07 +01:00
|
|
|
|
|
|
|
rec {
|
2018-09-28 10:52:39 +01:00
|
|
|
version = "unstable-20180706";
|
2017-07-31 23:31:12 +01:00
|
|
|
src = fetchFromGitHub {
|
|
|
|
owner = "NICMx";
|
|
|
|
repo = "Jool";
|
2018-09-28 10:52:39 +01:00
|
|
|
rev = "de791931d94e972c36bb3c102a9cadab5230c285";
|
|
|
|
sha256 = "09mr7lc9k17znpslsfmndx4vgl240llcgblxm92fizmwz23y1d6c";
|
2015-06-29 11:58:07 +01:00
|
|
|
};
|
|
|
|
}
|