Processing commands for [email protected]: > 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 [email protected] with problems -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
