[B]app-editors/kile-2.9.94
