commit f1cccf6904d8816db3b3ae9fb33bf6591944ee98
Author: hololeap <hololeap@protonmail.com>
Date: Sun Jan 11 20:29:11 2026 -0700

*/*: Update copyright

Signed-off-by: hololeap <hololeap@protonmail.com>

commit 76d810c69d9375b72585a8317cb9ea802217af8b
Author: Xavier Dectot <xavier@wheredoibegin.fr>
Date: Sun Feb 23 12:08:41 2025 +0100

dev-haskell/smtlib-backends-tests: new package, add 0.3

Signed-off-by: Xavier Dectot <xavier@wheredoibegin.fr>