coqPackages.ynot: remove broken tag
haskell-hakyll: Allow it to build again