agda-snippets-2.5.1: dependencies

Dependencies for agda-snippets-2.5.1

library	Agda (==2.5.1) 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)
agda-snippets	Agda agda-snippets base (>=4.7 && <4.9) network-uri transformers (>=0.4 && <0.5)