Branches for Buster

There are no branches of haskell-smtlib in Debian Buster in Launchpad.