@@ -887,18 +887,8 @@ packages:
887 "Jens Petersen juhpetersen@gmail.com @juhp":
887 "Jens Petersen juhpetersen@gmail.com @juhp":
888 - cabal-rpm
888 - cabal-rpm
889 - cabal-sort
889 - cabal-sort
891− # https://github.com/fpco/stackage/issues/1569
894 # GHC 8 - idris
891 # GHC 8 - idris
895− # https://github.com/fpco/stackage/issues/1569
897− # GHC 8 - leksah-server
@@ -910,6 +900,17 @@ packages:
910 - webkitgtk3
900 - webkitgtk3
911 - webkitgtk3-javascriptcore
901 - webkitgtk3-javascriptcore
904+ # https://github.com/fpco/stackage/issues/1569
906+ # https://github.com/fpco/stackage/issues/1569
908+ # GHC 8 - leksah-server
913 "Renzo Carbonara renzocarbonara@gmail.com @k0001":
914 "Renzo Carbonara renzocarbonara@gmail.com @k0001":
914 # GHC 8 - network-simple
915 # GHC 8 - network-simple
915 # GHC 8 - pipes-aeson
916 # GHC 8 - pipes-aeson