From 2b72ccb752accf2906c252c28839bbcae30d6f62 Mon Sep 17 00:00:00 2001
From: Bohdan <17168103+liesnikov@users.noreply.github.com>
Date: Tue, 24 Sep 2024 17:10:04 +0200
Subject: [PATCH] remove the jailbreak now that aeson bounds are relaxed

---
 flake.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/flake.nix b/flake.nix
index 2c35db9e..3780f466 100644
--- a/flake.nix
+++ b/flake.nix
@@ -20,14 +20,14 @@
             '';
             src = ./.;
           };
+        # options provides a way to jailbreak for packages that use agda2hs
         agda2hs-pkg = options:
           pkgs.haskellPackages.haskellSrc2nix {
             name = "agda2hs";
             src = ./.;
             extraCabal2nixOptions = options; #"--jailbreak"
         };
-        # jailbreaking here because otherwise aeson has to be overridden and that triggers recompilation of a lot of dependencies
-        agda2hs-hs = pkgs.haskellPackages.callPackage (agda2hs-pkg "--jailbreak") {};
+        agda2hs-hs = pkgs.haskellPackages.callPackage (agda2hs-pkg "") {};
         agda2hs-expr = import ./agda2hs.nix;
         agda2hs = pkgs.callPackage agda2hs-expr {
             inherit self;