Software Packages in "aramo-security", Subsection math

elan (1.3.1-3ubuntu0.1)

tool for managing installations of the Lean theorem prover

libreoffice-nlpsolver (0.9+LibO7.3.7-0ubuntu0.22.04.13)

"Solver for Nonlinear Programming" extension for LibreOffice