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