Skip to content

Instantly share code, notes, and snippets.

@mmahut
Created June 11, 2019 11:48
Show Gist options
  • Save mmahut/d72a82b9e87c06e8841964bdbea9cd32 to your computer and use it in GitHub Desktop.
Save mmahut/d72a82b9e87c06e8841964bdbea9cd32 to your computer and use it in GitHub Desktop.
src = fetchFromGitHub {
owner = "input-output-hk";
repo = "jormungandr";
fetchSubmodules = true;
rev = "v${version}";
sha256 = "083pf6jb5l26mcc93wvpx1m9dmdhx3k3wijw44wir17f5cax3hvi";
};
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment