agda2hs-0.1.20230328: dependencies

Dependencies for agda2hs-0.1.20230328

agda2hs	Agda (>=2.6.3 && <2.6.4) base (>=4.10 && <4.18) containers (>=0.6 && <0.7) deepseq (>=1.4.1.1) directory (>=1.2.6.2 && <1.4) filepath (>=1.4.1.0 && <1.5) haskell-src-exts (>=1.23 && <1.25) mtl (>=2.2) syb (>=0.7) text (>=1.2.3.0) unordered-containers (>=0.2) if flag(smuggler2) smuggler2 (>=0.3 && <0.4)

Name	Description	Default
smuggler2	Rewrite sources to cleanup imports, and create explicit exports	Disabled

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info