The text 264ff5c73a18, as Debian 9 (Stretch) shipped it.
Boogie Verification Debugger
bvd(1) on Linux now
