Пакети в „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.12): "Solver for Nonlinear Programming" extension for LibreOffice