Merge master into staging-next

This commit is contained in:
Frederik Rietdijk
2020-06-04 15:25:54 +02:00
461 changed files with 22534 additions and 21978 deletions

View File

@@ -24,7 +24,7 @@ build-idris-package rec {
owner = "steshaw";
repo = "idris-sdl2";
rev = version;
sha256 = "sha256:1jslnlzyw04dcvcd7xsdjqa7waxzkm5znddv76sv291jc94xhl4a";
sha256 = "0hqhg7l6wpkdbzrdjvrbqymmahziri07ba0hvbii7dd2p0h248fv";
};
meta = {