From 2f92e88c2f80a63c0496ac9933ac142c6a50ceb4 Mon Sep 17 00:00:00 2001 From: sorki Date: Tue, 24 Sep 2024 15:57:57 +0200 Subject: [PATCH] cabal.project: drop cardano-ledger fork as the `Arbitrary` instances were merged as part of https://github.com/IntersectMBO/cardano-ledger/pull/4150/commits/683963b5af8d3f18483db6250539c95dea2eb6d1 --- server/cabal.project | 15 --------------- 1 file changed, 15 deletions(-) diff --git a/server/cabal.project b/server/cabal.project index 96ba93323..6c293645c 100644 --- a/server/cabal.project +++ b/server/cabal.project @@ -83,18 +83,3 @@ package text -- of the offending c++ dependencies) package formatting flags: +no-double-conversion - --- NOTE: Using a fork for 8.8.0 and until https://github.com/IntersectMBO/cardano-ledger/pull/4103 --- is merged. If it's never merged, then the patch should be re-applied on top of new ledger versions. --- --- This patch is necessary to get better test coverage for the ledger predicate failures. Without it, --- we're missing quite numerous variants from the predicate failures, in particular from more recent --- eras. -source-repository-package - type: git - location: https://github.com/CardanoSolutions/cardano-ledger - tag: 8112c9872f52e5147e28fbdd76a034cdb6eb7fea - subdir: - eras/alonzo/impl - eras/babbage/impl - eras/conway/impl