Merge pull request #66014 from jonringer/update-cre2

cre2: 0.3.0 -> 0.3.6
This commit is contained in:
Aaron Andersen 2019-08-16 20:36:42 -04:00 committed by GitHub
commit c2c1340a58
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -3,13 +3,13 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "cre2-${version}"; name = "cre2-${version}";
version = "0.3.0"; version = "0.3.6";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "marcomaggi"; owner = "marcomaggi";
repo = "cre2"; repo = "cre2";
rev = version; rev = "v${version}";
sha256 = "12yrdad87jjqrhbqm02hzsayan2402vf61a9x1b2iabv6d1c1bnj"; sha256 = "1h9jwn6z8kjf4agla85b5xf7gfkdwncp0mfd8zwk98jkm8y2qx9q";
}; };
nativeBuildInputs = [ nativeBuildInputs = [