agda2hs-1.0.20231023: dependencies

Dependencies for agda2hs-1.0.20231023

agda2hs	Agda (>=2.6.4 && <2.6.5) base (>=4.10 && <4.18) bytestring (>=0.11.5 && <0.12) containers (>=0.6 && <0.7) deepseq (>=1.4.4 && <1.5) directory (>=1.2.6.2 && <1.4) filepath (>=1.4.1.0 && <1.5) haskell-src-exts (>=1.23 && <1.25) mtl (>=2.2.2 && <2.3) syb (>=0.7.2 && <0.8) text (>=2.0.2 && <2.1) unordered-containers (>=0.2.19 && <0.3) yaml-light (>=0.1.4 && <2.0)
agda2hs-mode	Agda (>=2.6.4 && <2.6.5) base (>=4.10 && <4.18) bytestring (>=0.11.5 && <0.12) containers (>=0.6 && <0.7) deepseq (>=1.4.4 && <1.5) directory (>=1.2.6.2 && <1.4) filepath (>=1.4.1.0 && <1.5) haskell-src-exts (>=1.23 && <1.25) mtl (>=2.2.2 && <2.3) process (>=1.6.3.0 && <1.7) syb (>=0.7.2 && <0.8) text (>=2.0.2 && <2.1) unordered-containers (>=0.2.19 && <0.3) yaml-light (>=0.1.4 && <2.0)