@@ -2857,6 +2857,12 @@ package-flags:
2857 ghc_7_7: false
2857 ghc_7_7: false
2858 ghc_8_0: true
2858 ghc_8_0: true
2860# end of package-flags
2866# end of package-flags
2862# Special configure options for individual packages
2868# Special configure options for individual packages