Dependencies for PandocAgda-2.3.3.0.2

Libraries

PandocAgda

Agda (==2.3.3)
base (>=4.2 && <4.7)
containers (>=0.1 && <0.6)
filepath (>=1.1 && <1.4)
mtl (>=2.0 && <2.1 || >=2.1.1 && <2.2)
pandoc (>=1.10 && <1.11)
pandoc-types (>=1.10 && <1.11)
QuickCheck (>=2.3 && <2.6)
text (>=0.11 && <0.12)
xhtml (>=3000.2 && <3000.3)
if os(windows)
- Win32 (>=2.2 && <2.3)
if impl(ghc<7.6)
- directory (>=1.0 && <1.2)
- old-time (>=1.0 && <1.2)
else
- directory (>=1.2 && <1.3)
- time (>=1.4 && <1.5)

Executables

agdapandoc

base (>=3 && <6)
PandocAgda (==2.3.3.0.2)