On Sat, Oct 25, 2003 at 03:03:14PM -0500, Debian Bug Tracking System wrote:
> > tags 214536 + wontfix
> Bug#214536: coq: Could you upgrade coq to version 7.4 ?
IMO you can close the bug. Unwillingness to upgrade a debian package to
an unreleased software version isn't a bug.
Cheers.
--
Stefano Zacchiroli -- Master in Computer Science @ Uni. Bologna, Italy
zack@{cs.unibo.it,debian.org,bononia.it} - http://www.bononia.it/zack/
" I know you believe you understood what you think I said, but I am not
sure you realize that what you heard is not what I meant! " -- G.Romney
Attachment:
signature.asc
Description: Digital signature