File bitwuzla.changes of Package bitwuzla

-------------------------------------------------------------------
Tue Jun 17 12:10:46 UTC 2025 - Eyad Issa <eyadlorenzo@gmail.com>

- Initial packaging at version 0.8.0