Mark a bunch of packages as broken or not supported on Darwin

2014-08-08 17:59:02 +02:00
parent 66fb10ecb5
commit 8a7f3c3618
55 changed files with 112 additions and 98 deletions
@@ -33,14 +33,11 @@ rec {

  meta = {
    description = "A satisfiability modulo theory (SMT) solver";
-    maintainers = with a.lib.maintainers;
-    [
-      raskin
-    ];
-    platforms = with a.lib.platforms;
-      linux;
+    maintainers = [ a.lib.maintainers.raskin ];
+    platforms = a.lib.platforms.linux;
    license = a.stdenv.lib.licenses.gpl3;
    homepage = "http://code.google.com/p/opensmt/";
+    broken = true;
  };
  passthru = {
    updateInfo = {