Changelog for AdaSAT-devel-25.0.0-4.85.x86_64.rpm :

* Thu Oct 31 2024 Vitalii Bondarenko - Update to version 25.0.0
* Wed Dec 20 2023 Vitalii Bondarenko - Update to version 24.0.0
* Wed Jun 21 2023 Vitalii Bondarenko - Update .spec file
* Wed Jun 21 2023 Vitalii Bondarenko - New package