From 6c39bbde6d030a1ba7a4881a28f07fa4b7644969 Mon Sep 17 00:00:00 2001
From: Michael Raskin <7c6f434c@mail.ru>
Date: Tue, 11 Nov 2014 13:57:00 +0300
Subject: [PATCH] Set correct current platform support for Mozart binary

---
 pkgs/development/compilers/mozart/binary.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pkgs/development/compilers/mozart/binary.nix b/pkgs/development/compilers/mozart/binary.nix
index 3d9e4311c31..57e339204bd 100644
--- a/pkgs/development/compilers/mozart/binary.nix
+++ b/pkgs/development/compilers/mozart/binary.nix
@@ -25,6 +25,6 @@ stdenv.mkDerivation {
     description = "The Mozart Programming System combines ongoing research in programming language design and implementation, constraint logic programming, distributed computing, and human-computer interfaces. Mozart implements the Oz language and provides both expressive power and advanced functionality.";
 
     license = licenses.mit;
-    platforms = platforms.linux;
+    platforms = ["x86_64-linux"];
   };
 }