about summary refs log tree commit diff
path: root/pkgs/development/interpreters/maude
diff options
context:
space:
mode:
authorVincent Laporte <Vincent.Laporte@gmail.com>2017-07-05 17:28:44 +0000
committerVincent Laporte <Vincent.Laporte@gmail.com>2017-07-05 17:29:13 +0000
commitf9a2866508c1133ea54d4174feb8a76b689eb616 (patch)
treeebd89637c6f0fc7bcf455ba65c2102c730e09bfb /pkgs/development/interpreters/maude
parentc71989022e858ba3c638f0449c9c51e6654cd6ae (diff)
maude: set available on all Unix platforms
Diffstat (limited to 'pkgs/development/interpreters/maude')
-rw-r--r--pkgs/development/interpreters/maude/default.nix2
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/development/interpreters/maude/default.nix b/pkgs/development/interpreters/maude/default.nix
index a977e0801a8fa..17e545d95a743 100644
--- a/pkgs/development/interpreters/maude/default.nix
+++ b/pkgs/development/interpreters/maude/default.nix
@@ -61,7 +61,7 @@ stdenv.mkDerivation rec {
       rewriting logic computation.
     '';
 
-    platforms = stdenv.lib.platforms.linux;
+    platforms = stdenv.lib.platforms.unix;
     maintainers = [ stdenv.lib.maintainers.peti ];
   };
 }