The text eab11377f147, as Debian 7 (Wheezy) shipped it.
Set the device (keyword) name
plsdev(3plplot) on Linux now
