Processed: reassign 589999 to ocaml, forcibly merging 570920 589999
Processing commands for control@bugs.debian.org:
> reassign 589999 ocaml
Bug #589999 [src:coq] coq: FTBFS on sparc: test failure
Bug reassigned from package 'src:coq' to 'ocaml'.
Bug No longer marked as found in versions coq/8.3~beta0+13298-1.
> forcemerge 570920 589999
Bug#570920: ocaml: error in the num library on sparc
Bug#589999: coq: FTBFS on sparc: test failure
Forcibly Merged 570920 589999.
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
570920: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=570920
589999: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=589999
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: