From 5de8e157ddc73f105458db4d97f427bcd399ffe0 Mon Sep 17 00:00:00 2001
From: Mihai Maruseac <mihai.maruseac@gmail.com>
Date: Sun, 10 Aug 2025 09:49:22 -0800
Subject: [PATCH] Drop `<0` package which fails to compile

Signed-off-by: Mihai Maruseac <mihai.maruseac@gmail.com>
---
 build-constraints.yaml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/build-constraints.yaml b/build-constraints.yaml
index 2ad0f05f..b0ecb2ef 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -1568,7 +1568,6 @@ packages:
     "Alejandro Serrano <trupill@gmail.com> @serras":
         - djinn-lib
         - djinn-ghc
-        - generics-mrsop # 0 # 2.3.0 compile fail: TyVarBndr
         - kind-apply
         - kind-generics
         - kind-generics-th