Processing commands for cont...@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 ow...@bugs.debian.org with problems -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/handler.s.c.127983927222116.transcr...@bugs.debian.org
