From 045c345362a5090d53396eb367e3d7501a68bd65 Mon Sep 17 00:00:00 2001
From: Thiago Kenji Okada <thiagokokada@gmail.com>
Date: Sun, 5 Jun 2022 13:23:08 +0100
Subject: [PATCH] python3Packages.manticore: remove duplicate meta.broken

---
 pkgs/development/python-modules/manticore/default.nix | 2 --
 1 file changed, 2 deletions(-)

diff --git a/pkgs/development/python-modules/manticore/default.nix b/pkgs/development/python-modules/manticore/default.nix
index 1fe290d47e9d..c645a070e4b1 100644
--- a/pkgs/development/python-modules/manticore/default.nix
+++ b/pkgs/development/python-modules/manticore/default.nix
@@ -132,7 +132,5 @@ buildPythonPackage rec {
     license = licenses.agpl3Only;
     platforms = platforms.unix;
     maintainers = with maintainers; [ arturcygan ];
-    # m.c.manticore:WARNING: Manticore is only supported on Linux. Proceed at your own risk!
-    broken = stdenv.isDarwin;
   };
 }