From 0dd8bbaab146ab28fd0341d3fb3bc8b9860bbc81 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Th=C3=A9ophile=20Choutri=20de=20Tarl=C3=A9?= Date: Wed, 8 Apr 2026 16:22:42 +0200 Subject: [PATCH] Remove unused source-repository-package Since resource-pool 0.5.0.0 is on Hackage --- cabal.project | 5 ----- 1 file changed, 5 deletions(-) diff --git a/cabal.project b/cabal.project index 63d50fe1..3b98a43d 100644 --- a/cabal.project +++ b/cabal.project @@ -1,7 +1,2 @@ packages: ./ - -source-repository-package - type: git - location: https://github.com/scrive/pool - tag: eeabc8746d4fa68063551d81bf9fa330c3396845