agda-snippets-2.4.2.4: dependencies

Dependencies for agda-snippets-2.4.2.4

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