Matthew Bauer ac491d2df7 systems: remove android armv5te platform ... this isn’t useful any more because the ndk we use no longer supports it.		2019-04-10 01:55:09 -04:00
..
androidndk-pkgs.nix	systems: remove android armv5te platform	2019-04-10 01:55:09 -04:00
default.nix