Processed: Re: Bug#919462: coq ftbfs on some release architectures
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 <bbaren@debian.org>.
--
919462: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=919462
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: