diff --git a/lib/systems/platforms.nix b/lib/systems/platforms.nix
index 03bfce25610..92de3016266 100644
--- a/lib/systems/platforms.nix
+++ b/lib/systems/platforms.nix
@@ -253,16 +253,6 @@ rec {
     kernelTarget = "zImage";
   };
 
-  # https://developer.android.com/ndk/guides/abis#armeabi
-  armv5te-android = {
-    name = "armeabi";
-    gcc = {
-      arch = "armv5te";
-      float = "soft";
-      float-abi = "soft";
-    };
-  };
-
   # https://developer.android.com/ndk/guides/abis#v7a
   armv7a-android =  {
     name = "armeabi-v7a";
diff --git a/pkgs/development/androidndk-pkgs/androidndk-pkgs.nix b/pkgs/development/androidndk-pkgs/androidndk-pkgs.nix
index ab206158959..fbd4fdf3d6b 100644
--- a/pkgs/development/androidndk-pkgs/androidndk-pkgs.nix
+++ b/pkgs/development/androidndk-pkgs/androidndk-pkgs.nix
@@ -27,7 +27,7 @@ let
     "x86_64-unknown-linux-android" = {
       triple = "x86_64-linux-android";
       arch = "x86_64";
-      toolchain = "x86";
+      toolchain = "x86_64";
       gccVer = "4.9";
     };
     "armv7a-unknown-linux-androideabi" = {