赤星です。incomingに以下のファイルをputしました。 devhelp-0.23-3vl5.i386.rpm devhelp-0.23-3vl5.src.rpm devhelp-0.23-3vl5.x86_64.rpm devhelp-devel-0.23-3vl5.i386.rpm devhelp-devel-0.23-3vl5.x86_64.rpm devhelpのシンボルの検索タブがうまく機能しない問題の対処として http://bugzilla.gnome.org/show_bug.cgi?id=586559 のPatchを適用しました。(まだ、本家では適用されていません。) # 今後、正規なPatchが発行されれば、そちらを適用するようにします。 -- Yasumichi Akahoshi GnuPG fingerprint = A947 88E9 351F 8FE2 02D6 BC99 79C5 20FF 0A63 FAFA