Hello, I have changed the section of coq from devel to math since math is more appropriated. Coq is a proof checker, even though you can extract programs from proofs. The main goal of coq is to provide a framework to formalize mathematical proofs. Regards, Samuel. On Tue, 17 Aug 2004 13:02:11 -0400 Debian Installer <installer@ftp-master.debian.org> wrote: > There are disparities between your recently accepted upload and the > override file for the following file(s): > > coq-libs_8.0pl1-2_powerpc.deb: package says section is math, override > says devel. coq7-libs_8.0pl1-2_powerpc.deb: package says section is > math, override says devel. coq_8.0pl1-2_powerpc.deb: package says > section is math, override says devel. coqide_8.0pl1-2_powerpc.deb: > package says section is math, override says devel. > > Either the package or the override file is incorrect. If you think > the override is correct and the package wrong please fix the package > so that this disparity is fixed in the next upload. If you feel the > override is incorrect then please reply to this mail and explain why. > > [NB: this is an automatically generated mail; if you replied to one > like it before and have not received a response yet, please ignore > this mail. Your reply needs to be processed by a human and will be in > due course, but until then the installer will send these automated > mails; sorry.] > > -- > Debian distribution maintenance software > > (This message was generated automatically; if you believe that there > is a problem with it please contact the archive administrators by > mailing ftpmaster@debian.org) -- Samuel Mimram samuel.mimram@ens-lyon.fr
Attachment:
pgp8OR2upMGOl.pgp
Description: PGP signature