The text fd3bb07137d3, as Debian 7 (Wheezy) shipped it.
keyboard configuration file
keyboard(5) on Linux now