Originally from here, copied to here. Posted for posterity.

begin remote
  name /etc/lircd.conf
  bits 13
  flags RC5|CONST_LENGTH
  eps 30
  aeps 100
  one 907 885
  zero 907 885
  gap 113935
  toggle_bit 2
  plead 954 `

begin codes  
 tv/radio 0x0000000000000A93  
 help 0x0000000000001A8F  
 stop 0x00000000000012A9  
 txt 0x0000000000001ABC  
 Check 0x00000000000002B6  
 Ok 0x0000000000000297  
 Blue 0x0000000000000AAE  
 Yellow 0x0000000000000AAD  
 Green 0x0000000000000AAC  
 Red 0x00000000000002AB  
 Repeat 0x0000000000001AA2  
 Sfi 0x0000000000001AAF  
 Right 0x0000000000001A90  
 Left 0x0000000000001A91  
 Down 0x00000000000012A1  
 Up 0x0000000000001AA0  
 Back 0x0000000000000A8F  
 Menu 0x0000000000000292  
 -/-- 0x0000000000001A8A  
 tv-radio 0x0000000000000293  
 Power 0x0000000000001A8C  
 a/b 0x00000000000012A3  
 Ext 0x0000000000001AB8  
 Mute 0x000000000000128D  
 0 0x0000000000001A80  
 9 0x0000000000001A89  
 8 0x0000000000001288  
 7 0x0000000000001A87  
 6 0x0000000000001286  
 5 0x0000000000001A85  
 4 0x0000000000001284  
 3 0x0000000000001283  
 2 0x0000000000001A82  
 1 0x0000000000001A81

end codes

end remote