Processed (with 1 error): reassign 876605 to happy, tagging 876605 ..., affects 876605, forcibly merging 876605 876635 876702

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> reassign 876605 happy 1.19.6-1
Bug #876605 [src:agda] agda FTBFS: Couldn't match type ‘t13’ with ‘()’
Bug reassigned from package 'src:agda' to 'happy'.
No longer marked as found in versions agda/2.5.2-2.
Ignoring request to alter fixed versions of bug #876605 to the same values previously set
Bug #876605 [happy] agda FTBFS: Couldn't match type ‘t13’ with ‘()’
Marked as found in versions happy/1.19.6-1.
> tags 876605 + fixed-upstream
Bug #876605 [happy] agda FTBFS: Couldn't match type ‘t13’ with ‘()’
Added tag(s) fixed-upstream.
> forwarded 876605 https://github.com/simonmar/happy/issues/94
Bug #876605 [happy] agda FTBFS: Couldn't match type ‘t13’ with ‘()’
Set Bug forwarded-to-address to 'https://github.com/simonmar/happy/issues/94'.
> retitle 876605 Monadic grammar, threaded lexer, -a enabled, but no type signature, fails to compile
Bug #876605 [happy] agda FTBFS: Couldn't match type ‘t13’ with ‘()’
Changed Bug title to 'Monadic grammar, threaded lexer, -a enabled, but no type signature, fails to compile' from 'agda FTBFS: Couldn't match type ‘t13’ with ‘()’'.
> affects 876605 haskell-language-python agda haskell-cryptol
Bug #876605 [happy] Monadic grammar, threaded lexer, -a enabled, but no type signature, fails to compile
Added indication that 876605 affects haskell-language-python, agda, and haskell-cryptol
> forcemerge 876605 876635 876702
Bug #876605 [happy] Monadic grammar, threaded lexer, -a enabled, but no type signature, fails to compile
Unable to merge bugs because:
package of #876702 is 'src:haskell-language-python' not 'happy'
package of #876635 is 'src:haskell-cryptol' not 'happy'
Failed to forcibly merge 876605: Did not alter merged bugs.

> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
876605: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=876605
876635: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=876635
876702: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=876702
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems