Merge pull request #219233 from clerie/clerie/dino-0.4.1

dino: 0.4.0 -> 0.4.1
This commit is contained in:
Nick Cao 2023-03-03 08:27:46 +08:00 committed by GitHub
commit 79d258b311
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -24,13 +24,13 @@
stdenv.mkDerivation rec {
pname = "dino";
version = "0.4.0";
version = "0.4.1";
src = fetchFromGitHub {
owner = "dino";
repo = "dino";
rev = "v${version}";
sha256 = "sha256-FZ7MVeVxIzxzSQi5G9y+nn487pKLcXEZV1JK9mCY2MQ=";
sha256 = "sha256-1czey1/Zn96JneCUnhPMyffG9FVV4bA9aidNB7Ozkpo=";
};
postPatch = ''