rpms/ghc-feed
3
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
33 Commits 16 Branches 0 Tags 57 KiB
f37
Commit Graph

6 Commits

Author SHA1 Message Date
Jens Petersen
eec7315280 update to 1.3.2.0 2021-08-05 11:22:03 +08:00
Jens Petersen
27c5801559 update to 1.3.0.1 2020-06-08 02:01:07 +08:00
Jens Petersen
bfdb3996ce revert to 1.1.0.0 for gitit 
gitit-0.12.3.2 fails to build with feed-1.2

src/Network/Gitit/Feed.hs:134:50: error:
    • Couldn't match expected type ‘xml-types-0.3.6:Data.XML.Types.Element’
                  with actual type ‘T.Text’

https://github.com/jgm/gitit/issues/645
 2020-02-23 14:44:58 +08:00
Jens Petersen
471a12d825 update to 1.2.0.1 2020-02-14 11:24:42 +08:00
Jens Petersen
334c55d1ae update to 1.0.1.0 2019-02-22 14:26:40 +08:00
Elliott Sales de Andrade
eb8b510aca Initial import (#1487891). 2017-09-06 15:42:57 -04:00