The text bde35fb838ff, as Debian 8 (Jessie) shipped it.
Preprocess Verilog code assertions
vpassert(1p) on Linux now
