Dependencies for agda2hs-1.1
Executables
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)