Software Packages in "xolotl-security", Subsection math

elan (4.1.2-3.1ubuntu1)

tool for managing installations of the Lean theorem prover

libreoffice-nlpsolver (4:0.9+LibO26.2.6.3-0ubuntu0.26.04.2)

"Solver for Nonlinear Programming" extension for LibreOffice