Hello, > BTW, speaking about coq, could you please change the section of the > packages, so we don't have those "overrides disparities" messages > anymore. > Thanks. Well, I have changed the section on purpose. I think it was proposed by Ralf Treinen since I put the doc in section Apps/Math and I agreed. I have already sent a mail to ftp-masters (this list was CCed) explaining why I have changed the section and the override should be edited soon. Please just ignore those messages until then. Cheers, Samuel.
Attachment:
pgpBERLSvk7LQ.pgp
Description: PGP signature