hdiff
packages
feed
what4
-1.2.1: test/responses/name.exp
Right (RspName "fancy solver #12")