Processing commands for [email protected]: > fixed 853285 8.0.2-10 Bug #853285 [src:ghc] ghc: Patch to add support for cross-compilation of GHC Marked as fixed in versions ghc/8.0.2-10. > close 853285 Bug #853285 [src:ghc] ghc: Patch to add support for cross-compilation of GHC Marked Bug as done > thanks Stopping processing here.
Please contact me if you need assistance. -- 853285: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=853285 Debian Bug Tracking System Contact [email protected] with problems
