"jammy-updates" のサブセクション math に含まれるソフトウェアパッケージ

elan (1.3.1-3ubuntu0.1) [universe]: tool for managing installations of the Lean theorem prover
libreoffice-nlpsolver (0.9+LibO7.3.7-0ubuntu0.22.04.11): "Solver for Nonlinear Programming" extension for LibreOffice