Add platforms to coq, so it's built on Hydra

2013-08-28 21:35:07 +02:00 · 2013-08-28 21:35:07 +02:00 · b43347342b
commit b43347342b
parent 47b53fd084
1 changed files with 1 additions and 0 deletions
--- a/pkgs/applications/science/logic/coq/default.nix
+++ b/pkgs/applications/science/logic/coq/default.nix
@ -55,5 +55,6 @@ stdenv.mkDerivation {
    homepage = "http://coq.inria.fr";
    license = "LGPL";
    maintainers = [ stdenv.lib.maintainers.roconnor ];
+    platforms = stdenv.lib.platforms.linux;
  };
 }