coq-float override disparity

There are disparities between your recently accepted upload and the override file for the following file(s): libfloat-coq_8.2-1.2-5_all.deb: package says section is math, override says libdevel. Please note that a list of new sections were recently added to the archive: cli-mono, database, debu

coq-float override disparity

There are disparities between your recently accepted upload and the override file for the following file(s): libfloat-coq_8.2-1.2-4_all.deb: package says section is math, override says libdevel. Please note that a list of new sections were recently added to the archive: cli-mono, database, debu