Paquets logiciels dans « resolute-updates », Sous-section math

elan (4.1.2-3.1ubuntu1) [universe]: tool for managing installations of the Lean theorem prover
libreoffice-nlpsolver (4:0.9+LibO26.2.4.2-0ubuntu0.26.04.1): "Solver for Nonlinear Programming" extension for LibreOffice