From 7da0ca2e252799366176081186935682e8b3603a Mon Sep 17 00:00:00 2001
From: Rick van Schijndel <rol3517@gmail.com>
Date: Sun, 29 May 2022 12:23:25 +0200
Subject: [PATCH] mps: mark broken

---
 pkgs/development/libraries/mps/default.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/pkgs/development/libraries/mps/default.nix b/pkgs/development/libraries/mps/default.nix
index 81b102d9bc3..f990d4de7d6 100644
--- a/pkgs/development/libraries/mps/default.nix
+++ b/pkgs/development/libraries/mps/default.nix
@@ -21,6 +21,7 @@ stdenv.mkDerivation rec {
 
 
   meta = {
+    broken      = true;
     description = "A flexible memory management and garbage collection library";
     homepage    = "https://www.ravenbrook.com/project/mps";
     license     = lib.licenses.sleepycat;