sbcl.1.0.42
a8ec0d53 · 1.0.42: will be tagged as sbcl_1_0_42 ·