packagesSoftware Packages in "jammy-updates", Alaosasto 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