Resolving dependencies...
cabal: Could not resolve dependencies:
next goal: agda-snippets-hakyll (user goal)
rejecting: agda-snippets-hakyll-0.1.1.1 (global constraint requires ==0.1.1)
trying: agda-snippets-hakyll-0.1.1
next goal: agda-snippets (dependency of agda-snippets-hakyll-0.1.1)
rejecting: agda-snippets-2.4.2.4 (conflict: agda-snippets-hakyll =>
agda-snippets>=2.4.3)
Dependency tree exhaustively searched.