"jammy-updates" İçindeki Yazılım Paketleri, Altbölüm 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