haskellPackages.Diff_0_3_4: remove at 0.3.4

The upstream issue for liquidhaskell is resolved. liquidhaskell is
marked broken for an unrelated issue in one of its dependencies.
This commit is contained in:
sternenseemann 2024-10-17 14:10:10 +02:00
parent 5b205678d7
commit ccb5fcd8ee
3 changed files with 0 additions and 23 deletions

View File

@ -1811,10 +1811,6 @@ self: super: {
# tests seem to require a different version of hspec-core
hspec-contrib = dontCheck super.hspec-contrib;
# github.com/ucsd-progsys/liquidhaskell/issues/1729
liquidhaskell-boot = super.liquidhaskell-boot.override { Diff = self.Diff_0_3_4; };
Diff_0_3_4 = dontCheck super.Diff_0_3_4;
# The test suite attempts to read `/etc/resolv.conf`, which doesn't work in the sandbox.
domain-auth = dontCheck super.domain-auth;

View File

@ -46,7 +46,6 @@ extra-packages:
- Cabal == 3.10.*
- Cabal == 3.12.* # version required for cabal-install and other packages
- Cabal-syntax == 3.12.* # version required for cabal-install and other packages
- Diff < 0.4 # required by liquidhaskell-0.8.10.2: https://github.com/ucsd-progsys/liquidhaskell/issues/1729
- aeson < 2 # required by pantry-0.5.2
- apply-refact == 0.9.* # 2022-12-12: needed for GHC < 9.2
- apply-refact == 0.11.* # 2023-02-02: needed for hls-hlint-plugin on GHC 9.2

View File

@ -4847,24 +4847,6 @@ self: {
broken = true;
}) {};
"Diff_0_3_4" = callPackage
({ mkDerivation, array, base, directory, pretty, process
, QuickCheck, test-framework, test-framework-quickcheck2
}:
mkDerivation {
pname = "Diff";
version = "0.3.4";
sha256 = "0bqcdvhxx8dmqc3793m6axg813wv9ldz2j37f1wygbbrbbndmdvp";
libraryHaskellDepends = [ array base pretty ];
testHaskellDepends = [
array base directory pretty process QuickCheck test-framework
test-framework-quickcheck2
];
description = "O(ND) diff algorithm in haskell";
license = lib.licenses.bsd3;
hydraPlatforms = lib.platforms.none;
}) {};
"Diff" = callPackage
({ mkDerivation, array, base, directory, pretty, process
, QuickCheck, test-framework, test-framework-quickcheck2