2014-08-09 06:00:08 +02:00
|
|
|
{ fetchFromGitHub }:
|
|
|
|
|
|
|
|
fetchFromGitHub {
|
2017-04-03 21:23:18 +02:00
|
|
|
owner = "skaes";
|
2014-08-09 06:00:08 +02:00
|
|
|
repo = "rvm-patchsets";
|
2018-01-02 10:50:37 +01:00
|
|
|
rev = "ba5a3c6f972e1b957b4b3fe28b5730ef0e27bff3";
|
|
|
|
sha256 = "0sjmhhb8hshxa58x062j44w0xdck8ykgpsg33wjr0wv9npwpkwrz";
|
2014-08-09 06:00:08 +02:00
|
|
|
}
|