Package: ftp.debian.org On Thu, Aug 27, 2009 at 11:13:57PM +0000, Archive Administrator wrote: > There are disparities between your recently accepted upload and the > override file for the following file(s): > > mona_1.4-13-1_amd64.deb: package says section is math, override says misc.
The section should be "math", as it is indicated in the control file of mona_1.4-13-1. The value of "misc" for section given in earlier versions of the package was a mistake. This package provides a special-purpose theorem prover, math is the most adequate section for that. -Ralf. -- Ralf Treinen Laboratoire Preuves, Programmes et Systèmes Université Paris Diderot, Paris, France. http://www.pps.jussieu.fr/~treinen/ -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
