diff --git a/pkgs/development/haskell-modules/configuration-hackage2nix/transitive-broken.yaml b/pkgs/development/haskell-modules/configuration-hackage2nix/transitive-broken.yaml
index 5acdf7a5a59c..a7d4dc95eb40 100644
--- a/pkgs/development/haskell-modules/configuration-hackage2nix/transitive-broken.yaml
+++ b/pkgs/development/haskell-modules/configuration-hackage2nix/transitive-broken.yaml
@@ -277,7 +277,6 @@ dont-distribute-packages:
  - bitcoin-api-extra
  - bitcoin-block
  - bitcoin-tx
- - bitcoin-types
  - bitcoind-regtest
  - Bitly
  - bitly-cli
@@ -2205,7 +2204,6 @@ dont-distribute-packages:
  - MFlow
  - Mhailist
  - Michelangelo
- - micro-gateway
  - microformats2-types
  - MicroHs
  - MicrosoftTranslator
@@ -3148,7 +3146,6 @@ dont-distribute-packages:
  - sibe
  - sigma-ij
  - signals
- - signature
  - signify-hs
  - silvi
  - simgi
diff --git a/pkgs/development/haskell-modules/hackage-packages.nix b/pkgs/development/haskell-modules/hackage-packages.nix
index 09ce986b32a2..757263097f4a 100644
--- a/pkgs/development/haskell-modules/hackage-packages.nix
+++ b/pkgs/development/haskell-modules/hackage-packages.nix
@@ -108139,7 +108139,6 @@ self: {
       ];
       description = "Provides consistent low-level types used commonly among Bitcoin implementations";
       license = lib.licenses.mit;
-      hydraPlatforms = lib.platforms.none;
     }
   ) { };
 
@@ -421049,142 +421048,125 @@ self: {
     }
   ) { };
 
-  "liquid-fixpoint" =
-    callPackage
-      (
-        {
-          mkDerivation,
-          aeson,
-          ansi-terminal,
-          array,
-          ascii-progress,
-          async,
-          attoparsec,
-          base,
-          binary,
-          boxes,
-          bytestring,
-          cereal,
-          cmdargs,
-          containers,
-          deepseq,
-          directory,
-          fgl,
-          filepath,
-          git,
-          hashable,
-          intern,
-          lens-family,
-          megaparsec,
-          mtl,
-          nettools,
-          optparse-applicative,
-          parallel,
-          parser-combinators,
-          pretty,
-          process,
-          rest-rewrite,
-          smtlib-backends,
-          smtlib-backends-process,
-          stm,
-          store,
-          syb,
-          tagged,
-          tasty,
-          tasty-ant-xml,
-          tasty-hunit,
-          tasty-quickcheck,
-          tasty-rerun,
-          text,
-          transformers,
-          unordered-containers,
-          vector,
-          z3,
-        }:
-        mkDerivation {
-          pname = "liquid-fixpoint";
-          version = "0.9.6.3.3";
-          sha256 = "07dpgi5iwi1kf182vpcy5h3xq3bjxsvp16ayafbr0wv8wxg6l5ib";
-          configureFlags = [ "-fbuild-external" ];
-          isLibrary = true;
-          isExecutable = true;
-          libraryHaskellDepends = [
-            aeson
-            ansi-terminal
-            array
-            ascii-progress
-            async
-            attoparsec
-            base
-            binary
-            boxes
-            bytestring
-            cereal
-            cmdargs
-            containers
-            deepseq
-            directory
-            fgl
-            filepath
-            hashable
-            intern
-            lens-family
-            megaparsec
-            mtl
-            parallel
-            parser-combinators
-            pretty
-            process
-            rest-rewrite
-            smtlib-backends
-            smtlib-backends-process
-            stm
-            store
-            syb
-            text
-            transformers
-            unordered-containers
-            vector
-          ];
-          executableHaskellDepends = [ base ];
-          testHaskellDepends = [
-            base
-            containers
-            directory
-            filepath
-            hashable
-            mtl
-            optparse-applicative
-            process
-            stm
-            tagged
-            tasty
-            tasty-ant-xml
-            tasty-hunit
-            tasty-quickcheck
-            tasty-rerun
-            text
-            transformers
-            unordered-containers
-          ];
-          testSystemDepends = [
-            git
-            nettools
-            z3
-          ];
-          doCheck = false;
-          description = "Predicate Abstraction-based Horn-Clause/Implication Constraint Solver";
-          license = lib.licenses.bsd3;
-          hydraPlatforms = lib.platforms.none;
-          mainProgram = "fixpoint";
-          broken = true;
-        }
-      )
-      {
-        inherit (pkgs) git;
-        inherit (pkgs) nettools;
-        inherit (pkgs) z3;
-      };
+  "liquid-fixpoint" = callPackage (
+    {
+      mkDerivation,
+      aeson,
+      ansi-terminal,
+      array,
+      ascii-progress,
+      async,
+      attoparsec,
+      base,
+      binary,
+      boxes,
+      bytestring,
+      cereal,
+      cmdargs,
+      containers,
+      deepseq,
+      directory,
+      fgl,
+      filepath,
+      hashable,
+      intern,
+      lens-family,
+      megaparsec,
+      mtl,
+      optparse-applicative,
+      parallel,
+      parser-combinators,
+      pretty,
+      process,
+      rest-rewrite,
+      smtlib-backends,
+      smtlib-backends-process,
+      stm,
+      store,
+      syb,
+      tagged,
+      tasty,
+      tasty-ant-xml,
+      tasty-hunit,
+      tasty-quickcheck,
+      tasty-rerun,
+      text,
+      transformers,
+      unordered-containers,
+      vector,
+    }:
+    mkDerivation {
+      pname = "liquid-fixpoint";
+      version = "0.9.6.3.3";
+      sha256 = "07dpgi5iwi1kf182vpcy5h3xq3bjxsvp16ayafbr0wv8wxg6l5ib";
+      isLibrary = true;
+      isExecutable = true;
+      libraryHaskellDepends = [
+        aeson
+        ansi-terminal
+        array
+        ascii-progress
+        async
+        attoparsec
+        base
+        binary
+        boxes
+        bytestring
+        cereal
+        cmdargs
+        containers
+        deepseq
+        directory
+        fgl
+        filepath
+        hashable
+        intern
+        lens-family
+        megaparsec
+        mtl
+        parallel
+        parser-combinators
+        pretty
+        process
+        rest-rewrite
+        smtlib-backends
+        smtlib-backends-process
+        stm
+        store
+        syb
+        text
+        transformers
+        unordered-containers
+        vector
+      ];
+      executableHaskellDepends = [ base ];
+      testHaskellDepends = [
+        base
+        containers
+        directory
+        filepath
+        hashable
+        mtl
+        optparse-applicative
+        process
+        stm
+        tagged
+        tasty
+        tasty-ant-xml
+        tasty-hunit
+        tasty-quickcheck
+        tasty-rerun
+        text
+        transformers
+        unordered-containers
+      ];
+      description = "Predicate Abstraction-based Horn-Clause/Implication Constraint Solver";
+      license = lib.licenses.bsd3;
+      hydraPlatforms = lib.platforms.none;
+      mainProgram = "fixpoint";
+      broken = true;
+    }
+  ) { };
 
   "liquid-ghc-prim" = callPackage (
     {
@@ -444398,7 +444380,6 @@ self: {
       ];
       description = "A Micro service gateway";
       license = lib.licenses.bsd3;
-      hydraPlatforms = lib.platforms.none;
       mainProgram = "simple-gateway";
     }
   ) { };
@@ -607253,7 +607234,6 @@ self: {
       ];
       description = "Hmac sha256 signature json and http payload";
       license = lib.licenses.bsd3;
-      hydraPlatforms = lib.platforms.none;
     }
   ) { };