From 0ed93ecc1a62a977f442d8dc1327aeb36c261414 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Na=C3=AFm=20Camille=20Favier?= <n@monade.li>
Date: Sat, 11 Oct 2025 16:56:13 +0200
Subject: [PATCH] agdaPackages.agdarsec: 0.4.1 -> 0.5.0-unstable-2025-08-05

---
 .../development/libraries/agda/agdarsec/default.nix | 13 ++++++++-----
 1 file changed, 8 insertions(+), 5 deletions(-)

diff --git a/pkgs/development/libraries/agda/agdarsec/default.nix b/pkgs/development/libraries/agda/agdarsec/default.nix
index 876b3b271695..01cd300d4429 100644
--- a/pkgs/development/libraries/agda/agdarsec/default.nix
+++ b/pkgs/development/libraries/agda/agdarsec/default.nix
@@ -5,17 +5,21 @@
   standard-library,
 }:
 
-mkDerivation rec {
+mkDerivation {
   pname = "agdarsec";
-  version = "0.4.1";
+  version = "0.5.0-unstable-2025-08-05";
 
   src = fetchFromGitHub {
     owner = "gallais";
     repo = "agdarsec";
-    rev = "v${version}";
-    sha256 = "02fqkycvicw6m2xsz8p01aq8n3gj2d2gyx8sgj15l46f8434fy0x";
+    rev = "28c5233e905474f3b02cb97fe410beb60364ba80";
+    sha256 = "sha256-IMxRqZQ7XtPT2cDkoP5mBAj2ovMf5cHcN4U4V5FMEaQ=";
   };
 
+  postPatch = ''
+    sed -Ei 's/standard-library-[0-9.]+/standard-library/' agdarsec.agda-lib
+  '';
+
   buildInputs = [ standard-library ];
 
   meta = with lib; {
@@ -24,6 +28,5 @@ mkDerivation rec {
     license = licenses.gpl3;
     platforms = platforms.unix;
     maintainers = with maintainers; [ turion ];
-    broken = true;
   };
 }