packages feed

hakyll-agda 0.1.5 → 0.1.6

raw patch · 2 files changed

+4/−3 lines, 2 files

Files

Hakyll/Web/Agda.hs view
@@ -138,8 +138,9 @@     concat [ case c of                   Left s   -> s                   Right cs ->-                      let h = pre . mconcat $ [ (annotate m pos mi (stringToHtml s))-                                              | (pos, s, mi) <- cs ]+                      let h = pre . tag "code" . mconcat $+                              [ (annotate m pos mi (stringToHtml s))+                              | (pos, s, mi) <- cs ]                       in  renderHtmlFragment (h ! [theclass classpr])            | c <- contents ] 
hakyll-agda.cabal view
@@ -1,6 +1,6 @@ Cabal-version:      >= 1.6 Name:               hakyll-agda-Version:            0.1.5+Version:            0.1.6 Author:             Francesco Mazzoli (f@mazzo.li) Maintainer:         Francesco Mazzoli (f@mazzo.li) Build-Type:         Simple