godot_headers: provide a better version string

This commit is contained in:
James Kay 2018-02-20 11:58:59 +00:00
parent ef5fd1cf27
commit 2b96b03333
No known key found for this signature in database
GPG Key ID: 76BE7F17BF11AD15

View File

@ -1,11 +1,11 @@
{ stdenv, fetchFromGitHub }:
stdenv.mkDerivation rec {
name = "godot_headers";
version = "51bca3bf5d917341f3e15076c5a9191f8a5118ae";
version = "2018-02-09";
src = fetchFromGitHub {
owner = "GodotNativeTools";
repo = "godot_headers";
rev = version;
rev = "51bca3bf5d917341f3e15076c5a9191f8a5118ae";
sha256 = "0z562pqm8y8wldmfiya72cvwwpvcfznpl0wypagw50v0f41ilywh";
};
buildPhase = "true";