diff --git a/pkgs/development/haskell-modules/hackage-packages.nix b/pkgs/development/haskell-modules/hackage-packages.nix index bc446d912bc..74c6e3b92f9 100644 --- a/pkgs/development/haskell-modules/hackage-packages.nix +++ b/pkgs/development/haskell-modules/hackage-packages.nix @@ -93689,6 +93689,34 @@ self: { }) {}; "fourmolu" = callPackage + ({ mkDerivation, aeson, base, bytestring, containers, directory + , dlist, exceptions, filepath, ghc-lib-parser, gitrev, hspec + , hspec-discover, HsYAML, HsYAML-aeson, mtl, optparse-applicative + , path, path-io, syb, text + }: + mkDerivation { + pname = "fourmolu"; + version = "0.2.0.0"; + sha256 = "1jak0xgd6gcbw7icyrblvqnvzjyyakpw2zfnqj1z958qyg763v52"; + isLibrary = true; + isExecutable = true; + enableSeparateDataOutput = true; + libraryHaskellDepends = [ + aeson base bytestring containers directory dlist exceptions + filepath ghc-lib-parser HsYAML HsYAML-aeson mtl syb text + ]; + executableHaskellDepends = [ + base directory ghc-lib-parser gitrev optparse-applicative text + ]; + testHaskellDepends = [ + base containers filepath hspec path path-io text + ]; + testToolDepends = [ hspec-discover ]; + description = "A formatter for Haskell source code"; + license = stdenv.lib.licenses.bsd3; + }) {}; + + "fourmolu_0_3_0_0" = callPackage ({ mkDerivation, aeson, base, bytestring, containers, directory , dlist, exceptions, filepath, ghc-lib-parser, gitrev, hspec , hspec-discover, HsYAML, HsYAML-aeson, mtl, optparse-applicative @@ -93714,6 +93742,7 @@ self: { testToolDepends = [ hspec-discover ]; description = "A formatter for Haskell source code"; license = stdenv.lib.licenses.bsd3; + hydraPlatforms = stdenv.lib.platforms.none; }) {}; "fpco-api" = callPackage @@ -215430,6 +215459,22 @@ self: { }) {}; "refinery" = callPackage + ({ mkDerivation, base, checkers, exceptions, hspec, logict, mmorph + , mtl, QuickCheck + }: + mkDerivation { + pname = "refinery"; + version = "0.2.0.0"; + sha256 = "0nsfmb5y8y0hanh3h03v0n8wa5frgj85gz8ycl8h5z045j2kk3wq"; + libraryHaskellDepends = [ base exceptions logict mmorph mtl ]; + testHaskellDepends = [ + base checkers exceptions hspec logict mmorph mtl QuickCheck + ]; + description = "Toolkit for building proof automation systems"; + license = stdenv.lib.licenses.bsd3; + }) {}; + + "refinery_0_3_0_0" = callPackage ({ mkDerivation, base, checkers, exceptions, hspec, logict, mmorph , mtl, QuickCheck }: @@ -215443,6 +215488,7 @@ self: { ]; description = "Toolkit for building proof automation systems"; license = stdenv.lib.licenses.bsd3; + hydraPlatforms = stdenv.lib.platforms.none; }) {}; "reflection" = callPackage