Processing commands for [EMAIL PROTECTED]: > # Automatically generated email from bts, devscripts version 2.9.4 > tags 326740 + upstream Bug#326740: coq: FTBFS: "Type ... is not compatible with type ..." There were no tags set. Tags added: upstream
> forwarded 326740 http://coq.inria.fr/bin/coq-bugs/incoming?id=999 Bug#326740: coq: FTBFS: "Type ... is not compatible with type ..." Noted your statement that Bug has been forwarded to http://coq.inria.fr/bin/coq-bugs/incoming?id=999. > 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]
