Changelog for gap-repsn-3.1.2-5.12.x86_64.rpm :

* Wed Jan 24 2024 Jan Engelhardt - Update to release 3.1.2
* Simplify some code using List, use ListX
* Sun Jun 25 2023 Jan Engelhardt - Update to release 3.1.1
* Janitorial changes
* Sun Feb 12 2023 Jan Engelhardt - Initial package (version 3.1.0) for build.opensuse.org