Merge pull request #37232 from matthewbauer/auto-update/abcmidi

abcmidi: 2018.02.22 -> 2018.03.08
This commit is contained in:
Robert Schütz 2018-03-17 11:43:33 +01:00 committed by GitHub
commit e830562419
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -2,11 +2,11 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "abcMIDI-${version}"; name = "abcMIDI-${version}";
version = "2018.02.22"; version = "2018.03.08";
src = fetchzip { src = fetchzip {
url = "http://ifdo.ca/~seymour/runabc/${name}.zip"; url = "http://ifdo.ca/~seymour/runabc/${name}.zip";
sha256 = "03ln05012yhlq8aalm00af6pidb44phmmidlc953453isfllg82a"; sha256 = "0pdia3n23l4nhc4lmyphgh6swq35nnzqk2z4ykif1xajbkbddxm3";
}; };
# There is also a file called "makefile" which seems to be preferred by the standard build phase # There is also a file called "makefile" which seems to be preferred by the standard build phase