Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Dependencies for
PandocAgda-2.3.3
library
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)
agdapandoc
base
(>=3 && <6)
PandocAgda
(==2.3.3)