The text af928926e7de, as Debian 7 (Wheezy), Debian 6.0 (Squeeze) shipped it.
Motif-compatible spin-box widget
XmSpinBox(3) on Linux now
