diff --git a/pkgs/development/haskell-modules/hackage-packages.nix b/pkgs/development/haskell-modules/hackage-packages.nix
index 89c0b819f57..dabf82891e9 100644
--- a/pkgs/development/haskell-modules/hackage-packages.nix
+++ b/pkgs/development/haskell-modules/hackage-packages.nix
@@ -109370,8 +109370,8 @@ self: {
      }:
      mkDerivation {
        pname = "haskoin-store";
-       version = "0.17.0";
-       sha256 = "1syzpiiimlsiczxdf42w2dyf47vz9m4w9y0yfaghbixvj00p6agz";
+       version = "0.17.1";
+       sha256 = "19vzwxy27xkkkx3lmq554kkyh6iclrxdhbp901vb0rh9v8l3cc74";
        isLibrary = true;
        isExecutable = true;
        libraryHaskellDepends = [
@@ -154226,10 +154226,8 @@ self: {
      }:
      mkDerivation {
        pname = "med-module";
-       version = "0.1.1";
-       sha256 = "1qzffgcg29gjc6j0dl9ablgzad3lry28n9kv55kp5lgqm3xp92gp";
-       revision = "1";
-       editedCabalFile = "05fbglb1f260p2h5x16i3ybkh1r0bks0054jzasam9gv33yv1amw";
+       version = "0.1.2.1";
+       sha256 = "0f1yjdix89g6z2kigj08iq88jmi0x59la7764ixfha5sbjnwz0pp";
        isLibrary = true;
        isExecutable = true;
        libraryHaskellDepends = [
@@ -179280,6 +179278,27 @@ self: {
        license = stdenv.lib.licenses.bsd3;
      }) {};
 
+  "pipes-cborg" = callPackage
+    ({ mkDerivation, base, bytestring, cborg, ghc-prim, pipes
+     , pipes-bytestring, pipes-parse, QuickCheck, serialise, tasty
+     , tasty-quickcheck, transformers
+     }:
+     mkDerivation {
+       pname = "pipes-cborg";
+       version = "0.1";
+       sha256 = "1ihngg2gvlyq40wnpajhbb7xpj028pk1k08xay19ir4n9mmx4jrn";
+       libraryHaskellDepends = [
+         base bytestring cborg ghc-prim pipes pipes-bytestring pipes-parse
+         serialise transformers
+       ];
+       testHaskellDepends = [
+         base bytestring cborg pipes pipes-bytestring QuickCheck serialise
+         tasty tasty-quickcheck transformers
+       ];
+       description = "Encode and decode cborg streams using the pipes and cborg libraries";
+       license = stdenv.lib.licenses.bsd3;
+     }) {};
+
   "pipes-cellular" = callPackage
     ({ mkDerivation, base, bytestring, data-cell, pipes }:
      mkDerivation {
@@ -193611,6 +193630,24 @@ self: {
        broken = true;
      }) {};
 
+  "refinery" = callPackage
+    ({ mkDerivation, base, containers, exceptions, mmorph, mtl, pipes
+     , semigroupoids
+     }:
+     mkDerivation {
+       pname = "refinery";
+       version = "0.1.0.0";
+       sha256 = "1g18ih1122h61jxgi72kxc9b4x7nvfxl807km46x150x1f3m7wvl";
+       libraryHaskellDepends = [
+         base containers exceptions mmorph mtl pipes semigroupoids
+       ];
+       testHaskellDepends = [
+         base containers exceptions mmorph mtl pipes semigroupoids
+       ];
+       description = "Toolkit for building proof automation systems";
+       license = stdenv.lib.licenses.bsd3;
+     }) {};
+
   "reflection" = callPackage
     ({ mkDerivation, base, template-haskell }:
      mkDerivation {
@@ -222026,8 +222063,8 @@ self: {
      }:
      mkDerivation {
        pname = "super-user-spark";
-       version = "0.4.0.1";
-       sha256 = "0pxkvc1vjarh4p5rqnai6nlsqxv9as8jvqs2vpywl1525nsfyvy5";
+       version = "0.4.0.3";
+       sha256 = "0z2alc67p8nvvwaxxrgwhkwfki1iw7ycs3ay8kyfw0wh01d2cmgk";
        isLibrary = true;
        isExecutable = true;
        libraryHaskellDepends = [