@@ -430,11 +430,11 @@ packages:
431 "Daniel Díaz dhelta.diaz@gmail.com @Daniel-Diaz":
431 "Daniel Díaz dhelta.diaz@gmail.com @Daniel-Diaz":
432 - bimap-server
432 - bimap-server
433− # GHC 8 - binary-list
433+ - binary-list
434 - byteset
434 - byteset
435 - grouped-list
435 - grouped-list
436− # GHC 8 - haskintex
436+ - haskintex
437− # GHC 8 - HaTeX
437+ - HaTeX
438 # fails see #885
438 # fails see #885
439 #- hatex-guide
439 #- hatex-guide
440 - include-file
440 - include-file