horizon.dhall

let H =
      https://gitlab.horizon-haskell.net/dhall/horizon-spec/-/raw/0.10.0/horizon-spec/package.dhall

let callCHaP
    : H.Name → H.Version → H.HaskellPackage.Type
    = λ(name : H.Name) →
      λ(version : H.Version) →
        H.callTarball
          "https://input-output-hk.github.io/cardano-haskell-packages/package/${name}-${version}.tar.gz"
          (None H.Subdir)

let packages =
      H.modPackageList
        H.Modifiers::{ enableProfiling = False }
        ( toMap
            { HTF = H.callHackage "HTF" "0.15.0.1"
            , PyF = H.callHackage "PyF" "0.11.1.1"
            , Stream = H.callHackage "Stream" "0.4.7.2"
            , algebraic-graphs = H.callHackage "algebraic-graphs" "0.7"
            , base-deriving-via = callCHaP "base-deriving-via" "0.1.0.2"
            , base-prelude = H.callHackage "base-prelude" "1.6.1"
            , composition-prelude =
                H.callHackage "composition-prelude" "3.0.0.2"
            , canonical-json = H.callHackage "canonical-json" "0.6.0.1"
            , cardano-binary = callCHaP "cardano-binary" "1.7.0.1"
            , cardano-binary-test = callCHaP "cardano-binary-test" "1.4.0.2"
            , cardano-crypto = callCHaP "cardano-crypto" "1.1.2"
            , cardano-crypto-class = callCHaP "cardano-crypto-class" "2.1.2.0"
            , cardano-crypto-praos = callCHaP "cardano-crypto-praos" "2.1.2.0"
            , cardano-crypto-tests = callCHaP "cardano-crypto-tests" "2.1.2.0"
            , cardano-slotting = callCHaP "cardano-slotting" "0.1.1.1"
            , cardano-strict-containers =
                callCHaP "cardano-strict-containers" "0.1.2.1"
            , cardano-prelude = callCHaP "cardano-prelude" "0.1.0.2"
            , cardano-prelude-test = callCHaP "cardano-prelude-test" "0.1.0.2"
            , checkers = H.callHackage "checkers" "0.6.0"
            , deriving-aeson = H.callHackage "deriving-aeson" "0.2.9"
            , dependent-sum-template =
                callCHaP "dependent-sum-template" "0.1.1.1.0.0.0.1"
            , dictionary-sharing = H.callHackage "dictionary-sharing" "0.1.0.0"
            , dom-lt = H.callHackage "dom-lt" "0.2.3"
            , flat = H.callHackage "flat" "0.6"
            , heapwords = callCHaP "heapwords" "0.1.0.2"
            , hedgehog-fn = H.callHackage "hedgehog-fn" "1.0"
            , hex-text = H.callHackage "hex-text" "0.1.0.8"
            , int-cast = H.callHackage "int-cast" "0.2.0.0"
            , lazysmallcheck = H.callHackage "lazysmallcheck" "0.6"
            , lazy-search = H.callHackage "lazy-search" "0.1.3.0"
            , list-t = H.callHackage "list-t" "1.0.5.7"
            , mtl-prelude = H.callHackage "mtl-prelude" "2.0.3.2"
            , multiset = H.callHackage "multiset" "0.3.4.3"
            , nonempty-vector = H.callHackage "nonempty-vector" "0.2.2.0"
            , ral = H.callHackage "ral" "0.2.1"
            , size-based = H.callHackage "size-based" "0.1.3.1"
            , testing-type-modifiers =
                H.callHackage "testing-type-modifiers" "0.1.0.1"
            , timeit = H.callHackage "timeit" "2.0"
            , plutus-core = callCHaP "plutus-core" "1.11.0.0"
            , plutus-ledger-api = callCHaP "plutus-ledger-api" "1.11.0.0"
            , plutus-tx = callCHaP "plutus-tx" "1.11.0.0"
            , plutus-tx-plugin = callCHaP "plutus-tx-plugin" "1.11.0.0"
            , prettyprinter-configurable =
                callCHaP "prettyprinter-configurable" "1.11.0.0"
            , protolude = H.callHackage "protolude" "0.3.3"
            , quickcheck-text = H.callHackage "quickcheck-text" "0.1.2.1"
            , quickcheck-transformer =
                H.callHackage "quickcheck-transformer" "0.3.1.2"
            , word-array = callCHaP "word-array" "1.1.0.0"
            }
        )

in  H.HorizonExport.MakeOverlay
      { packagesDir = "pkgs"
      , overlayFile = "overlay.nix"
      , overlay = { compiler = "ghc-9.6.3", packages }
      }