Dependencies for agda-unused-0.3.0

library
agda-unused