urbit: 0.6.0 -> 0.7.3

This commit is contained in:
Jared Tobin 2019-02-20 22:35:49 +13:00
parent 32767d139f
commit 94f26cb96e
No known key found for this signature in database
GPG Key ID: 0E4647D58F8A69E4

View File

@ -4,13 +4,13 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "urbit-${version}"; name = "urbit-${version}";
version = "0.6.0"; version = "0.7.3";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "urbit"; owner = "urbit";
repo = "urbit"; repo = "urbit";
rev = "urbit-${version}"; rev = "v${version}";
sha256 = "158mz6c6y5z1b6piid8hvrl5mcqh8q1ny185gz51jayia51azmgs"; sha256 = "192843pjzh8z55fd0x70m3l1vncmixljia3nphgn7j7x4976xkp2";
fetchSubmodules = true; fetchSubmodules = true;
}; };