acl2: mark as broken on darwin

2024-11-21 11:39:57 +10:00
parent fcebbc8729
commit c6ee5d0b57
1 changed files with 1 additions and 0 deletions
@@ -158,5 +158,6 @@ in stdenv.mkDerivation rec {
    ];
    maintainers = with maintainers; [ kini raskin ];
    platforms = platforms.all;
+    broken = stdenv.hostPlatform.isDarwin;
  };
 }