Processing control commands:
> retitle 919462 coq FTBFS on architectures without native OCaml backends
Bug #919462 [src:coq] coq ftbfs on some release architectures
Changed Bug title to 'coq FTBFS on architectures without native OCaml backends'
from 'coq ftbfs on some release architectures'.
> owner 919462 !
Bug #919462 [src:coq] coq FTBFS on architectures without native OCaml backends
Owner recorded as Benjamin Barenblat .
--
919462: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=919462
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems