@@ -433,7 +433,7 @@ packages:
433 - binary-list
433 - binary-list
434 - byteset
434 - byteset
435 - grouped-list
435 - grouped-list
436− - haskintex
436+ # needs hint to work with GHC 8: - haskintex
438 # fails see #885
438 # fails see #885
439 #- hatex-guide
439 #- hatex-guide