From 5370dcccfe35f2271edface1ade8999b27a766ea Mon Sep 17 00:00:00 2001
From: Luca Bruno <lethalman88@gmail.com>
Date: Thu, 16 Apr 2015 18:16:14 +0200
Subject: [PATCH] rippled: broken on i686 linux

---
 pkgs/servers/rippled/default.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pkgs/servers/rippled/default.nix b/pkgs/servers/rippled/default.nix
index 39a7460674e..282f285f208 100644
--- a/pkgs/servers/rippled/default.nix
+++ b/pkgs/servers/rippled/default.nix
@@ -29,6 +29,6 @@ stdenv.mkDerivation rec {
     homepage = https://ripple.com;
     maintainers = [ maintainers.emery maintainers.offline ];
     license = licenses.isc;
-    platforms = platforms.linux;
+    platforms = [ "x86_64-linux" ];
   };
 }