属于 "questing-updates" 发行版 math 子版面的软件包

elan (3.1.1-6ubuntu0.1) [universe]: tool for managing installations of the Lean theorem prover
libreoffice-nlpsolver (4:0.9+LibO25.8.7-0ubuntu0.25.10.1): "Solver for Nonlinear Programming" extension for LibreOffice