On Tue, Nov 30, 2004 at 11:04:11AM +0100, Claudio Sacerdoti Coen wrote: > > I have heard that a bugfix release of COQ is to be out soon. If it's > > really soon, it might be a good idea to wait a bit an upload it. Do you > > have any precise information about it? > > On last friday there was a meeting to make the point about the bug fix. > Several bugs in the b.t.s. of Coq were closed, but a few others are still > in place. No new precise date was fixed (everybody is trying to close > his own bugs). Thus for sure it will not be before next week (but it can > be later; in this case it will clash with the Types meeting and the > Xmas holidays).
I would much prefer we make an upload now, and another one later if needed. The freeze can happen any day now, i think, since d-i rc2 is out, and we are really only waiting for the testing security infrastructure to be put into place. So, don't attend ourselves, and wait for a possible new release, which may or may not come later on. Friendly, Sven Luther -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
