Package: ftp.debian.org lbt_1.2.2-5_amd64.deb: package says section is science, override says math. lbt_1.2.2-5_amd64.deb: package says priority is extra, override says optional.
This package is about transformation of logical formulas, section=science is more approriate for that. Priority was downgraded to extra as of debian-science policy. Cheers -Ralf. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
