The text 7442ccc32cd0, as Debian 8 (Jessie) shipped it.
A System for Sequential Synthesis and Verification
berkeley-abc(1) on Linux now
