Dependencies for agda-unused-0.2.0

library
agda-unused