Re: Bug#238257: race condition on timestamps for cmi/mli files
On Wed, Mar 17, 2004 at 09:08:12AM +0100, Remi Vanicat wrote:
> Okay, I've understood, and I believed I see from where it come. I will
> contact upstream (Markus Mottle) about it.
Rémi, thanks for your efforts. I don't have much time to look into this
now, so I would appreciate if you could take care of this bug. You are
in the Uploader field of the package.
What I'm doing right now is
- prepare packages for coq v8.0beta
- send patches for FTBS bugs of packages which build-depend on
latex2html. The patch will replace latex2html by hevea.