Dependencies for hakyll-agda-0.1.7

library