Processed: Re: Bug#853285: closed by Clint Adams <cl...@debian.org> (Bug#853285: fixed in ghc 8.0.2-3)

Processing commands for cont...@bugs.debian.org: > 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

Processed: Re: Bug#853285 closed by Clint Adams <cl...@debian.org> (Bug#853285: fixed in ghc 8.0.2-3)

Processing control commands: > reopen -1 Bug #853285 {Done: Clint Adams } [src:ghc] ghc: Patch to add support for cross-compilation of GHC 'reopen' may be inappropriate when a bug has been closed with a version; all fixed versions will be cleared, and you may need to re-add