Bug#242761: marked as done (coq: FTBFS: waits for input)

2004-04-09 Thread Debian Bug Tracking System
Your message dated Fri, 09 Apr 2004 13:17:03 -0400 with message-id [EMAIL PROTECTED] and subject line Bug#242761: fixed in coq 7.3.1-3 has caused the attached Bug report to be marked as done. This means that you claim that the problem has been dealt with. If this is not the case it is now your

Bug#242761: marked as done (coq: FTBFS: waits for input)

2004-04-09 Thread Debian Bug Tracking System
Your message dated Fri, 09 Apr 2004 13:17:03 -0400 with message-id [EMAIL PROTECTED] and subject line Bug#242761: fixed in coq 7.3.1-3 has caused the attached Bug report to be marked as done. This means that you claim that the problem has been dealt with. If this is not the case it is now your