Merge pull request #66210 from worldofpeace/update-vala_0_40

vala_0_40: 0.40.15 -> 0.40.16
This commit is contained in:
worldofpeace 2019-08-08 09:19:53 -04:00 committed by GitHub
commit f65e24f7e3
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -119,8 +119,8 @@ in rec {
};
vala_0_40 = generic {
version = "0.40.15";
sha256 = "0mfayli159yyw6abjf6sgq41j54mr3nspg25b1kxhypcz0scjm19";
version = "0.40.16";
sha256 = "0vv25fmr9jqiqf080vak1x4raa4w3cz3n5ysjglqsq9qfx304i7b";
};
vala_0_42 = generic {