"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