Changelog for opengrm-ngram-tools-1.3.15-1.fc40.x86_64.rpm :

* Sun Feb 04 2024 W. Michael Petullo - 1.3.15-1- New upstream release- Drop upstreamed -std-vector patch
* Thu Jan 19 2023 Fedora Release Engineering - 1.3.14-5- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
* Tue Aug 23 2022 Mamoru TASAKA - 1.3.14-4- Rebuild for gsl-2.7.1
* Fri Jul 22 2022 Fedora Release Engineering - 1.3.14-3- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
* Wed May 25 2022 W. Michael Petullo - 1.3.14-2- Add proper source file
* Fri May 13 2022 W. Michael Petullo - 1.3.14-1- New upstream release