Merge pull request #247 from clinty/master
Add DAV, hOpenPGP, MusicBrainz
commit4cf56850f4cf73a3850aa81d69e672d50e0a34df
authorMichael Snoyman <michael@snoyman.com>
dateSun 29 Jun 2014, 18:32 (12 years ago)
parent1b5dfc01e8d6e2
Stackage/Config.hs+3
@@ -376,6 +376,9 @@ defaultStablePackages ghcVer requireHP = unPackageMap $ execWriter $ do
376376 mapM_ (add "Ben Ford <ben@dlstartup.com") $ words
377377 "HandsomeSoup"
378378
379+ mapM_ (add "Clint Adams <clint@debian.org>") $ words
380+ "DAV hOpenPGP hopenpgp-tools MusicBrainz"
381+
379382 -- https://github.com/fpco/stackage/issues/160
380383 when (ghcVer >= GhcMajorVersion 7 6) $ do
381384 mapM_ (add "Ketil Malde") $ words =<<