Dependencies for agda-snippets-2.4.2.4

Libraries

agda-snippets

Agda (==2.4.2.4)
base (>=4.8 && <4.9)
containers (>=0.5 && <0.6)
mtl (>=2.1 && <2.3)
network-uri (>=2.6 && <2.7)
xhtml (>=3000.2.1 && <3000.3)

Executables

agda-snippets