Processing commands for [EMAIL PROTECTED]: > # Automatically generated email from bts, devscripts version 2.10.7 > reassign 439570 coq Bug#439570: coq-float - FTBFS: /bin/sh: /usr/bin/coq_makefile: /usr/bin/ocamlrun: bad interpreter: No such file or directory Bug reassigned from package `coq-float' to `coq'.
> tags 439570 + pending Bug#439570: coq-float - FTBFS: /bin/sh: /usr/bin/coq_makefile: /usr/bin/ocamlrun: bad interpreter: No such file or directory There were no tags set. Tags added: pending > End of message, stopping processing here. Please contact me if you need assistance. Debian bug tracking system administrator (administrator, Debian Bugs database) -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
