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 <bba...@debian.org>.
-- 919462: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=919462 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
