agda-snippets-2.5.2: dependencies

Dependencies for agda-snippets-2.5.2

library	Agda (==2.5.2) base (>=4.8 && <4.10) containers (>=0.5 && <0.6) mtl (>=2.1 && <2.3) network-uri (>=2.6 && <2.7) xhtml (>=3000.2.1 && <3000.3)
agda-snippets	Agda agda-snippets base (>=4.7 && <4.10) network-uri transformers (>=0.4 && <0.6)