Skip to content

Instantly share code, notes, and snippets.

@mmahut

mmahut/gist:d72a82b9e87c06e8841964bdbea9cd32 Secret

Created June 11, 2019 11:48
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save mmahut/d72a82b9e87c06e8841964bdbea9cd32 to your computer and use it in GitHub Desktop.
Save mmahut/d72a82b9e87c06e8841964bdbea9cd32 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
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