Processing commands for control@bugs.debian.org: > affects 570920 src:coq Bug #570920 [ocaml] ocaml: error in the num library on sparc Added indication that 570920 affects src:coq > thanks Stopping processing here. Please contact me if you need assistance. Debian bug tracking system administrator (administrator, Debian Bugs database)