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://chap.intersectmbo.org/package/${name}-${version}.tar.gz"
          (None H.Subdir)

let packages =
      toMap
        { FailT = H.callHackage "FailT" "0.1.2.0"
        , HasBigDecimal = H.callHackage "HasBigDecimal" "0.2.0.0"
        , HTF = H.callHackage "HTF" "0.15.0.1"
        , PyF = H.callHackage "PyF" "0.11.4.0"
        , Stream = H.callHackage "Stream" "0.4.7.2"
        , avro = H.callHackage "avro" "0.6.2.1"
        , base-deriving-via = callCHaP "base-deriving-via" "0.1.0.2"
        , base-prelude = H.callHackage "base-prelude" "1.6.1.1"
        , bytestring-strict-builder = H.callHackage "bytestring-strict-builder" "0.4.5.7"
        , 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.1.0"
        , cardano-binary-test = callCHaP "cardano-binary-test" "1.4.0.2"
        , cardano-crypto = callCHaP "cardano-crypto" "1.2.0"
        , cardano-crypto-class = callCHaP "cardano-crypto-class" "2.2.0.0"
        , cardano-crypto-praos = callCHaP "cardano-crypto-praos" "2.2.0.0"
        , cardano-strict-containers =
            callCHaP "cardano-strict-containers" "0.1.3.0"
        , cardano-prelude = callCHaP "cardano-prelude" "0.2.1.0"
        , cardano-prelude-test = callCHaP "cardano-prelude-test" "0.1.0.5"
        , checkers = H.callHackage "checkers" "0.6.0"
        , contra-tracer = H.callHackage "contra-tracer" "0.2.0.0"
        , dictionary-sharing = H.callHackage "dictionary-sharing" "0.1.0.0"
        , doctest-discover = H.callHackage "doctest-discover" "0.2.0.0"
        , dom-lt = H.callHackage "dom-lt" "0.2.3"
        , flat = H.callHackage "flat" "0.6"
        , generic-lens = H.callHackage "generic-lens" "2.2.2.0"
        , generic-lens-core = H.callHackage "generic-lens-core" "2.2.1.0"
        , heapwords = callCHaP "heapwords" "0.1.0.2"
        , hedgehog-fn = H.callHackage "hedgehog-fn" "1.0"
        , hedgehog-quickcheck = H.callHackage "hedgehog-quickcheck" "0.1.1"
        , hex-text = H.callHackage "hex-text" "0.1.0.8"
        , hw-hspec-hedgehog = H.callHackage "hw-hspec-hedgehog" "0.1.1.1"
        , int-cast = H.callHackage "int-cast" "0.2.0.0"
        , io-classes = H.callHackage "io-classes" "1.7.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"
        , memory-pool = H.callHackage "memory-pool" "0.1.0.0"
        , mempack = H.callHackage "mempack" "0.1.1.0"
        , 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.3"
        , nothunks = H.callHackage "nothunks" "0.2.1.1"
        , ordered-containers = H.callHackage "ordered-containers" "0.2.3"
        , pvar = H.callHackage "pvar" "1.0.0.0"
        , ral = H.callHackage "ral" "0.2.1"
        , singletons = H.callHackage "singletons" "3.0.4"
        , singletons-th = H.callHackage "singletons-th" "3.5"
        , size-based = H.callHackage "size-based" "0.1.3.1"
        , testing-type-modifiers =
            H.callHackage "testing-type-modifiers" "0.1.0.1"
        , th-desugar = H.callHackage "th-desugar" "1.18"
        , timeit = H.callHackage "timeit" "2.0"
        , plutus-core = callCHaP "plutus-core" "1.40.0.0"
        , plutus-ledger-api = callCHaP "plutus-ledger-api" "1.40.0.0"
        , plutus-tx = callCHaP "plutus-tx" "1.40.0.0"
        , plutus-tx-plugin = H.callGit "https://github.com/locallycompact/plutus" "275236a13d63578280d742923a13813ee089c40d" (Some "plutus-tx-plugin/")
        , prettyprinter-configurable =
            callCHaP "prettyprinter-configurable" "1.36.0.0"
        , quickcheck-transformer =
            H.callHackage "quickcheck-transformer" "0.3.1.2"
        , wherefrom-compat = H.callHackage "wherefrom-compat" "0.1.1.1"
        , word-array = callCHaP "word-array" "1.1.0.0"
        }

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