Merge pull request #97099 from r-ryantm/auto-update/crawl

crawl: 0.25.0 -> 0.25.1
This commit is contained in:
Lassulus 2020-09-17 20:53:08 +02:00 committed by GitHub
commit 1c4113e359
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -8,13 +8,13 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "crawl-${version}${lib.optionalString tileMode "-tiles"}"; name = "crawl-${version}${lib.optionalString tileMode "-tiles"}";
version = "0.25.0"; version = "0.25.1";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "crawl"; owner = "crawl";
repo = "crawl"; repo = "crawl";
rev = version; rev = version;
sha256 = "0swcl8cxz64yw8dl9macz8ar1ccwrkwz89j7s1f60inb5jlxifqm"; sha256 = "0i1cvwzwmcb07ynz1nk2svprfhsgcqmagvj5jfzayvcb1a2ww23b";
}; };
# Patch hard-coded paths and remove force library builds # Patch hard-coded paths and remove force library builds